Equivalncia

Uma proposio P(p, q, r, ...) equivalente a uma proposio Q(p, q, r, ...) se as tabelas
verdade dessas duas proposies so idnticas.
Notao: P(p, q, r, ...) <==> Q(p, q, r, ...).
Exemplo: A condicional "p > q" e a disjuno "~p v q" so equivalentes como expe sua
tabela verdade:
p

p > q ~p ~p v q

Equivalncia: p> q <==> ~p v q

Proposies associadas a uma condicional
Proposio recproca
de
Proposio contrria de

p > q

q > p

p > q : ~p >
~q
Proposio
p > q : ~q >
contrapositiva de
~p
p
q
p > q > ~p >
~q > ~p
q
p
~q
V
V
V
V
V
V
V
F
F
V
V
F
F
V
V
F
F
V
F
F
V
V
V
V
Equivalncias: p > q <==> ~q > ~p e q > p <==> ~p > ~q
A condicional (p > q) equivalente a sua contrapositiva (~q > ~p) e a recproca da
condicional (q > p) equivalente contrria da condicional (~p > ~q).
Recproca da condicional
Exemplo:
p > q : Se tringulo eqiltero, ento issceles.
A recproca da condicional
q > p : Se tringulo issceles, ento eqiltero.

(A condicional p > q verdadeira (V), mas sua recproca q > p falsa (F)).

Contrapositiva da condicional

Exemplos:
p > q : Se Carlos professor, ento pobre.
A contrapositiva
~q > ~p : Se Carlos no pobre, ento no professor.
Portanto, (p > q <==> ~q > ~p) (Proposies equivalentes).

p : x menor que zero

q : x negativo
q > p : Se x negativo,ento x menor que zero.
A contrapositiva
~p > ~q : Se x no menor que zero, ento x no negativo.
Portanto, (q > p <==> ~p > ~q) (Proposies equivalentes).