www.matematiques.com.

br

7 Lista de Exerccios Equivalncia Lgica

1. Mostrar que as proposies p e q so equivalentes (p q) em cada um dos seguintes casos:
a. p: 1 + 3 = 4;

q: (1 + 3)2 = 16

b. p: sen 0 = 1;

q: cs 0 = 0

c. p: 20 = 1;
d. p: x = y;
e. p: x par;

q: < 4
q = x + z = y + z (x, y, z R)
q: x + 1 mpar (x Z)

f. p: O tringulo ABC issceles (AB = AC);

g. p: a b;

q: b a

h. p: a // b;

q: b // a

i. p: O tringulo ABC retngulo em A;

j. p: x { a };

q: Os ngulos

e C
B

so iguais

q: a2 = b2 + c2

q: x = a

2. Demonstrar por tabelas-verdade as seguintes equivalncias:

a. p ^ q (p v q) p
b. p v (p ^ q) p
c. p p ^ q p q
d. q p v q p q
e. (p q) ^ (p r) p q ^ r
f. (p q) v (p r) p q v r
g. (p q) (p r) p p r
h. (p q) r p ^ ~r ~q
3. Mostrar que as proposies x = 1 v x 3 e ~(x < 3 ^ x = 1) no so equivalentes.
4. Demonstre as relaes abaixo utilizando as tabelas-verdade:
a) p q r ( p q ) ( p r )
b) p q r ( p q ) ( p r )
c) p q r p ( q r )
d) ~( ~p ~q ) ~p q
e) ~( p q r ) ~p ~q ~r
f) ~( p q r ) ~p ~q ~r