Instituto de Matemticas, Fsica y Estadstica

Semana 2: Tautologas Notables

Tautologas notables

A continuacin sealamos las tautologas notables:

Identidad:
(p ^ V )
(p _ F )
(p ^ F )
(p _ V )

p
p
F
V

(p ^ p)
(p _ p)

p
p

Idempotencia

Negacin
p

(p Y q)
(p () q)
(p ^ q)

p () q
pYq
p =) q
Conmutatividad
(p ^ q)
(p _ q)
(p () q)

(q ^ p)
(q _ p)
(q () p)
1

Asociatividad
(p _ (q _ r))
(p ^ (q ^ r))

((p _ q) _ r)
((p ^ q) ^ r)

Distributividad
(p _ (q ^ r))
(p ^ (q _ r))

((p _ q) ^ (p _ r))
((p ^ q) _ (p ^ r))

Leyes de Morgan
(p _ q)
(p ^ q)

(p ^ q)
(p _ q)

Absorcin
(p ^ (p _ q))
(p _ (p ^ q))

p
p

Observaciones:
(p =) q)
(p Y q)
(p Y q)

p_q
(p _ q) ^ (p _ q)
(p _ q) ^ (p ^ q)

Transitividad
[(p =) q) ^ (q =) r)] =) (p =) r)
[(p () q) ^ (q () r)] =) (p () r)

Ejemplos

Ejemplo 1:
Se dene el siguiente conectivo lgico (p q)
valor de verdad de p p:
Solucin:

(q ^ (q () p)) Determine el

(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

: Verdad, p ^ p : Falso
: Falso, p ^ p : Falso

p
p

Ejemplo 2:
Si (p ^ q) t, pruebe que la siguiente proposicin es una tautologa
p _ (q =) t)
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

Solucin:

Ejercicio:
p ^ q ^ t () F

0
B
@

p^q
| {z }

Usando la prop osicin t

como ya sabemos F () F; es Verdadero.

C
^ t () F A

@t ^ t () F Ay
|{z}
Falso

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]

h
i
[p _ (q _ r)] _ (p ^ q) _ r
h
i
[p _ (q _ F )] _ (p ^ q) _ F
h
i
[p _ (q)] _ (p ^ q)
i
h
[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)
i
h
(p _ s) _ r ^ (s ^ r)

[(p ^ s) _ r] ^ (s ^ r)
[(p _ r) ^ (s _ r)] ^ (s ^ r)
(p _ r) ^ (s _ r) ^ (s ^ r)
| {z }
Verdadero

()
()

(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