Lgica Matemtica
Maestra en Matemticas Puras
Conjuncin y
Disyuncin o
Condicional Si..entonces
Bicondicional Si y solo si
Negacin No
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.
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
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.
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.
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
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.