Introduo Lgica Matemtica Captulo XIII

CAPTULO XIII

EQUIVALNCIA LGICA

13.1- Proposies associadas a uma condicional

Segundo Edgard de Alencar (2002), dada a condicional p q, chamam-se
proposies associadas a p q as trs seguintes proposies condicionais que contm p
e q:

Proposio recproca pq : qp
Proposio contrria pq : ~p~q
Proposio contrapositiva pq : ~q~p

Observe as tabelas-verdade das quatro proposies acima:

p q ~p ~q pq qp ~p~q ~q~p
V V F F V V V V
V F F V F V V F
F V V F V F F V
F F V V V V V V

Repare que h equivalncia lgica entre a condicional p q e a sua

contrapositiva
~ q ~ p, logo representamos esta equivalncia da seguinte maneira:
pq ~q~p

O mesmo acontece com a recproca q p e a contrria ~ p ~ q da condicional

p q, as duas tambm so equivalentes. Logo:
qp ~q~p

Observando ainda a tabela-verdade acima, podemos reparar que no h

equivalncia lgica entre a condicional p q e a sua recproca q p ou a sua contrria
(tambm conhecida como inversa de p q) ~ p ~ q. Nesse caso dizemos que p q
a direta em relao s associadas.

Exemplo:

Prof Aline de Queiroz Ferreira 32

Introduo Lgica Matemtica Captulo XIII

Resolver a contrapositiva da condicional p q, sabendo que:

Se Marta mdica, ento rica.

Resoluo:
Contrapositiva da condicional p q igual a ~ q ~ p, logo podemos afirmar
que:
Se Marta no rica, ento no mdica.

EXERCCIOS:

1- Determine:
a) A contrapositiva de p ~ q
b) A contrapositiva de ~ p q
c) A contrapositiva da recproca de p ~ q
d) A recproca da contrapositiva de ~ p ~ q

2- Determine:
a) A contrapositiva da recproca de X = 0 X = 1
b) A contrapositiva da contrria de X = 1 X = 3

Prof Aline de Queiroz Ferreira 33