Maestro: Dr.

Ren Piedra Fundamentos de

Matemtica Avanzada
Sntesis del Captulo II

Lgica Matemtica
Maestra en Matemticas Puras

Leomar Reyes Abreu

ID: 1065275
INTRODUCCIN A LA LGICA MATEMTICA
En lgica, una proposicin es una oracin declarativa que se puede clasificar en dos tipos:
Atmicas y Compuestas. Una proposicin es atmica si es simple lo que se asevera y compuesta
si expresa la combinacin de dos o ms proposiciones simples, entrelazadas por conectivos
lgicos. Los conectivos lgicos ms usados son:

Conjuncin y
Disyuncin o
Condicional Si..entonces
Bicondicional Si y solo si
Negacin No

Algo interesante de la lgica clsica, lo constituye el hecho que se puede determinar el

valor de verdad de una proposicin, para lo cual se hace necesario conocer las reglas que rigen
los conectivos que enlazan las proposiciones:

Conjuncin: Es verdadera solo si las dos proposiciones que lo constituyen son

verdaderas. De lo contrario, es falsa.
Disyuncin: Es falsa solo si las dos proposiciones que la constituyen son falsas, de lo
contrario, es verdadera.
Condicional: Establece que el valor de verdad de una proposicin es falso solo si el
antecedente es verdadero y el consecuente es falso.
Bicondicional: Solo es verdadera si ambas son verdaderas o ambas falsas.
Negacin: Hace cambiar el valor de verdad de una proposicin.

Ejemplos 1
1. Construya una tabla de verdad para probar que cada formula proposicional dada es una
tautologa.
a) b)

P Q P Q
V V V V V V V V
V F F V V F V V
F V F V F V V V
F F F V F F F V

) [ ( )]

P Q ( ) [ ( )]
V V V V V
V F F F V
F V V F V
F F V F V
2. Construya una tabla de verdad para probar que las siguientes pares de formas
proposicionales son equivalentes:
a) ( ) y ( ) ( )
( ) ( ) ( )
( ) ( ) ( )
V V V V V V V V V V V
V V F F V V V F V V V
V F V F V V F V V V V
V F F F V V F F V V V
F V V V V F V V V V V
F V F F F F V F V F F
F F V F F F F V F V F
F F F F F F F F F F F

b) ( ) y ( ) ( )
( ) ( ) ( )

( ) ( ) ( )
V V V V V V V V V V V
V V F V V V V F V F V
V F V V V V F V F V V
V F F F F V F F F F F
F V V V F F V V F F F
F V F V F F V F F F F
F F V V F F F V F F F
F F F F F F F F F F F

3. Use el lgebra de proposiciones para probar cada una de las siguientes equivalencias
lgicas:

a)
( ) ( ) Bicondicional
( ) ( ) Por 2 de las formas relativas de una
condicional
( ) ( ) Doble negacin
Bicondicional

b) ( ) ( ) ( )
( ) [( ) ( )] Bicondicional
[( ) ( )] 1 de las formas relativas de la condicional
( ) ( ) Ley de Morgan
( ) ( ) Ley de Morgan
( ) ( ) Doble negacin
 c) [ ]
[ ] [ ] 2 de las formas relativas de una condicional
[ ] Doble negacin
[ ] 1 de las formas relativas de la condicional
Ley de Morgan
Conmutatividad

d) ( ) ( ) ( )
( ) ( ) 2 de las formas relativas de una condicional
Ley de Morgan
( ) ( ) Distributividad
( ) ( ) 2 de las formas relativas de una condicional

e) ( )
( ) ) Ley de Morgan
1 de las formas relativas de una condicional
Doble Negacin

4. Forme la negacin de cada proposicin usando, si es necesario, las leyes de Morgan para
encontrar la forma ms usada o til.
a) Todos los nmeros m, n y k son enteros.
Todos los nmeros m, n y k no son enteros.

b) El numero 3 es impar y primo.

El numero 3 no es impar o no es primo.

c) El numero n es un cuadrado perfecto o es primo.

El numero n no es un cuadrado perfecto y no es primo.

d) El numero 9 es impar, pero no es primo.

El numero 9 no es impar o es primo.

e) Si . = , entonces = o = .
. = 0, y 0 y 0

Ejemplos 2
1. Asuma que ser particular, ser eficiente, ser artstico y ser bonito tienen un significado
matemtico en el conjunto de nmeros naturales y use el diccionario siguiente en lo que
sigue:
(): x es particular (): x es eficiente
(): x es artstico (): x es bonito

A. Traduzca cada proposicin en smbolos lgicos, usando como universo de discurso el

conjunto de nmeros naturales:

a) Todo nmero eficiente es artstico.

( ) (() ())
b) Hay nmeros artsticos que son bonitos.
( ) [() ()]
 c) Hay nmeros particulares que no son artsticos.
( ), [ () ()]
d) Hay nmeros que son bonitos y son eficientes, pero no todos los eficientes son bonitos.
( ) {[() ()] [() ()]}

B. Traduzca cada proposicin al espaol, teniendo en cuenta el diccionario anteriormente

dado.
a) ( )[() ()]
Todos los nmeros particulares son bonitos.

b) ( ){[() ()] ()}

Hay nmeros que son particulares y bonitos, pero que no son eficientes.

Ejemplos 3
1. Simbolice completamente y luego demuestre que el argumento es vlido.
a) El agente que encontr el arma estaba en el apartamento. Cualquiera que estuviera en
el apartamento estaba en la ciudad. Si alguien estaba es Bvaro no estaba en la ciudad.
Jos estaba en Bvaro. Por tanto, Jos no es el agente que encontr el arma.

a: El agente que encontr el alma. P(x): x estaba en el apartamento

j: Jos C(x): x estaba en la ciudad
B(x): x estaba en Bvaro
Conclusin:
1) P(a) Premisa
2) , () () Premisa
3) , () () Premisa
4) ( ) Premisa

5) ( ) ( ) Ley de especificacin universal 3.
6) ( ) PP en 4 y 5.
7) () () Ley de especificacin universal 2.
8) () PP en 1 y 7.
9) = Premisa introducida
10) ( ) Identidad 6 y 9.
11) ( ) ( ) Adjuncin 8 y 10
12) Contradiccin 9 y 11.
b) Todos los nmeros positivos son mayores que cero. Tres es un nmero positivo. Tres es
igual a dos ms uno. Por tanto, dos ms uno es mayor que cero.
t: Tres P(x): x es un numero positivo
f: dos ms uno M(x): x es mayor que cero.

Conclusin: M(f )
1) , () () Premisa
2) () Premisa
3) = Premisa
4) ( ) () Ley de especificacin universal 1.
5) () PP 1 y 4
6) () Identidad 3 y 5.
c) Jorge pudo haber visto el auto en que huy el asesino. Pedro fue el primer testigo de la
defensa. Jorge estaba en la fiesta o pedro dio testimonio falso. Nadie en la fiesta pudo
ver el auto en que huy el asesino. Por tanto, el primer testigo de la defensa dio
testimonio falso.

j: Jorge G(x): x pudo haber visto el auto en que huy el asesino.

p: Pedro F(x): x estaba en la fiesta
e: primer testigo de la defensa T(x): x dio testimonio falso.

Conclusin: T(e)
1) ( ) Premisa
2) = Premisa
3) ( ) () Premisa
4) , () () Premisa

5) ( ) ( ) Ley de especificacin universal 4.
6) ( ) TT 1 y 5
7) () TP 3 y 6
8) () Identidad 2 y 7

d) Todos los miembros del comit viven en la ciudad de Santiago. El presidente de la

sociedad es un miembro del comit. La seorita Lpez es la presidente de la sociedad.
Por tanto, la seorita Lpez vive en la ciudad de Santiago.

p: Presidente de la sociedad M(x): x es un miembro del comit

l: La seorita Lpez S(x): x vive en la ciudad de Santiago

Conclusin: ( )

1) , () () Premisa
2) M(p) Premisa
3) = Premisa

4) () () Ley de especificacin universal 1.
5) () PP 2 y 4
6) ( ) Identidad 3 y 5.