Instituto de Matemticas, Fsica y Estadstica

Semana 2: Tautologas Notables

1 Tautologas notables
A continuacin sealamos las tautologas notables:
Identidad:
(p ^ V ) p
(p _ F) p
(p ^ F) F
(p _ V ) V
Idempotencia
(p ^ p) p
(p _ p) p
Negacin
p p
p ()q (p Y q)
p Y q (p ()q)
p =)q (p ^ q)
Conmutatividad
(p ^ q) (q ^ p)
(p _ q) (q _ p)
(p ()q) (q ()p)
1
Asociatividad
(p _ (q _ r)) ((p _ q) _ r)
(p ^ (q ^ r)) ((p ^ q) ^ r)
Distributividad
(p _ (q ^ r)) ((p _ q) ^ (p _ r))
(p ^ (q _ r)) ((p ^ q) _ (p ^ r))
Leyes de Morgan
(p _ q) (p ^ q)
(p ^ q) (p _ q)
Absorcin
(p ^ (p _ q)) p
(p _ (p ^ q)) p
Observaciones:
(p =)q) p _ q
(p Y q) (p _ q) ^ (p _ q)
(p Y q) (p _ q) ^ (p ^ q)
Transitividad
[(p =)q) ^ (q =)r)] =) (p =)r)
[(p ()q) ^ (q ()r)] =) (p ()r)
2
2 Ejemplos
Ejemplo 1:
Se dene el siguiente conectivo lgico (p q) (q ^ (q ()p)) Determine el
valor de verdad de p p:
Solucin:
(p p) (p ^ (p ()p))
(p ^ ((p =)p) ^ (p =)p)))

_
p ^
__
p _ p
_
^ (p _ p)
__
(p ^ ((p _ p) ^ (p)))
(p ^ ((p) ^ (p)))
(p ^ (p ^ p))
(p ^ p)
lo cual es Falso, ya que si
p : Verdad, p ^ p : Falso
p : Falso, p ^ p : Falso
Ejemplo 2:
Si (p ^ q) t, pruebe que la siguiente proposicin es una tautologa
p _ (q =)t) F
Solucin:
_
p _ (q =)t) ()F
_
()
_
p ^ (q =)t) ()F
_
()
_
p ^ (q _ t) ()F
_
()
_
p ^
_
q ^ t
_
()F
_
()(
_
(p ^ q) ^ t
_
()F)
()(t ^ t) ()F
()(F ()F) ()V
Ejercicio:
_
p ^
_
q ^ t
_
()F
_

_
_
_
_
p ^ q
. .
_
Usando la proposicin t
^ t ()F
_
_
_
_
_
t ^ t
..
Falso
()F
_
_
y
como ya sabemos F ()F; es Verdadero.
Ejemplo 3:
Sean p y q dos proposiciones. sabiendo que r es una proposicin falsa,
determine el valor de verdad de la siguiente proposicin [p =)(q =)r)] =)
[(p ^ q) =)r]
3
Solucin:
[p =)(q =)r)] =) [(p ^ q) =)r]
[p _ (q _ r)] _
_
(p ^ q) _ r
_
[p _ (q _ F)] _
_
(p ^ q) _ F
_
[p _ (q)] _
_
(p ^ q)
_
[p ^ q] _
_
(p ^ q)
_
lo cul es verdadero, por lo tanto es tautologa.
Ejemplo 4:
Si (p _ r) es verdadera, entonces la proposicin:
[(p =)s) =)r] ^ (s ^ r)
Es tautologa, contradiccin o contingencia.
Solucin:
[(p =)s) =)r] ^ (s ^ r)
,
_
(p _ s) _ r
_
^ (s ^ r)
() [(p ^ s) _ r] ^ (s ^ r)
() [(p _ r) ^ (s _ r)] ^ (s ^ r)
() (p _ r)
. .
Verdadero
^ (s _ r) ^ (s ^ r)
() (s _ r) ^ s ^ r
() (s _ r) ^ (s _ r) ()F
Por lo tanto la proposicin es contradiccin.
2.1 Errores Frecuentes
1. 1 > 2 7 NO es una proposicin.
Si es una proposicin, en efecto es una proposicin
cuyo valor de verdad es FALSO
2. p es una proposicin Falsa.
Esto no es cierto, luego que p puede ser falso o verdadero
3. p _ q ()p _ q
Las leyes de Morgan p _ q ()p ^ q
4. p ^ q ()p ^ q
Las leyes de Morgan p ^ q ()p _ q
4