Reciproca
Reciproca
Reciproca
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
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).