TAUTOLOGIAS E CONTRADIES Seja (1),(2),(3) e (4) as tabelas verdades das seguintes proposies (1) (2) (3) (4) (1)

P(p, P(p, P(p, P(p, q) q) q) q) = = = = (p q) (q p) ~(p q) (p q) ~p (p ~q) ~(p q) (p q). p V V F F p V V F F p V V F F p V V F F q V F V F q V F V F q V F V F q V F V F pq V F F F qp V F F F (p q) (q p) V V V V ~(p q) (p q) V V V V

(2)

pq V V V F ~p F F V V

~(p q) F F F V ~q F V F V

pq V F F V

(3)

p ~q F V F F ~(p q) F V V F

~p (p ~q) F F F F pq V F F V ~(p q) (p q) F F F F

(4)

p q V F F V

Nas tabelas (1) e (2), quaisquer que sejam os valores lgicos de p e q, V(P) = V e nas duas ltimas, quaisquer que sejam os valores lgicos de p e q, V(P) = F. As duas primeiras proposies so chamadas de TAUTOLOGIA e as duas ltimas de CONTRADIO.

Definies
Definio 1 TAUTOLOGIA a proposio composta P(p, q, r, ...) tal que V(P) = V, quaisquer que sejam os valores lgicos das proposies simples envolvidas. As tautologias so tambm chamadas de proposies logicamente verdadeiras. Definio 2 CONTRADIO a proposio composta P(p, q, r, ...) tal que V(P) = F, quaisquer que sejam os valores lgicos das proposies simples envolvidas. As contradies so tambm chamadas de proposies logicamente falsas ou contravlidas. Definio 3 CONTINGNCIAS so as proposies que apresentem valores lgicos V e F.

Equivalncia Dizemos que duas frmulas P e Q so equivalentes se a frmula P Q uma tautologia. Denotamos essa propriedade por

P Q
A seguir, exemplos de algumas equivalncias tautolgicas importantes, onde 1 representa uma tautologia e 0 representa uma contradio: A equivalncia lgica goza das seguintes propriedades: P1 P e Q so equivalentes se forem ambas tautologias ou ambas contradies. P2 Reflexiva. Isto P P. P3 Simtrica. Isto , se P Q ento Q P. P4 Transitividade. Isto se P Q e Q R ento P R. Prova de algumas equivalncias lgicas. Sejam p e q duas proposies, c uma contradio e t uma tautologia. (1) c p p (2) t p p (3) c p c (4) t p t
c F F 1 t V V 2 p V F 3 cp V F 4 tp V F 5 cp F F 6 tp V V 7 cpp V V 8 tp p V V 9 cpc V V 10 tpt V V 11

As colunas 8, 9, 10 e 11 mostram que t p p, c p c e t p t so tautologias. Portanto, as equivalncias (1), (2), (3) e (4) so verdadeiras. (5) p q p (6) p q q (7) p p q (8) q p q
p V V F F 1 q V F V F 2 pq V F F F 3 pq V V V F 4 pqp V V V V 5 pqq V V V V 6 ppq V V V V 7 qpq V V V V 8

As colunas 5, 6, 7 e 8 mostram que p q p, p q q, p p q e q p q so tautologias. Portanto as implicaes (5), (6), (7) e (8) so verdadeira.