Tautologias

• Implicação tautológica

Uma implicação tautológica é uma proposição condicional

tautológica.
A proposição p ∧ q → p é uma implicação tautológica. Para
provarmos essa afirmação usamos a tabela-verdade:
p q p∧q p∧q→p
v v v v
v f f v
f v f v
f f f v

Podemos então afi rmar que p ∧ q implica tautologicamente p

• Equivalência tautológica
Quando uma proposição bicondicional for tautológica, será
denominada equivalência tautológica.
A proposição ¬(p ∧ q) ↔ (¬p ∨ ¬q) é uma equivalência
tautológica, denominada Lei de De Morgan.
p q ¬p ¬q p ∧ q ¬(p∧q) (¬p∨¬q) ¬(p∧q)↔(¬p∨¬q)
v v f f v f f v
v f f v f v v v
f v v f f v v v
f f v v f v v v

Propriedades
Tanto a implicação como a equivalência tautológicas têm
propriedades específicas, que são fundamentais na prova de
validade de um argumento.
Dados p, q e r proposições simples quaisquer, as seguintes
propriedades se verificam:
a) Reflexiva
p → p é uma implicação tautológica
p ↔ p é uma equivalência tautológica

b) Simétrica
(p ↔ q) R (q → p) é uma implicação tautológica

c) Transitiva
(p → q) ∧ (q → r) → (p → r) é uma implicação tautológica
(p ↔ q) ∧ (q ↔ r) R (p ↔ r) é uma implicação tautológica