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
Proposio contrria
Proposio contrapositiva

pq : qp
pq : ~p~q
pq : ~q~p

Observe as tabelas-verdade das quatro proposies acima:

p
V
V
F
F

q
V
F
V
F

~p
F
F
V
V

~q
F
V
F
V

pq
V
F
V
V

qp
V
V
F
V

~p~q
V
V
F
V

~q~p
V
F
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

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