1 - Fazer a tabela-verdade das fórmulas abaixo.

a) ( (a ^ c)  a)
a c (a ^ ( (a ^ c)  c)
c)
V V V V
V F F V
F V F V
F F F V

b) ( (~~ a v c) ^ c)
a c (a ^ (~~ a v c) ( (~~ a v c) ^
c) c)
V V V V V
V F F F F
F V F F F
F F F F F

c) (( p ^ ~q) v (~p v r) )
p q r ~q ~p (p^ (~p v r) (( p ^ ~q) v (~p
~q) v r) )
V V V F F F F F
V V F F F F F F
V F V V F V F V
V F F V F V F V
F V V F V F V V
F V F F V F F F
F F V V V F V V
F F F V V F F F

d) (pq) ↔ (~q  ~p)

p q ~p ~q pq ~q  (pq) ↔ (~q

~p  ~p)
V V F F V V V
V F F V F F V
F V V F V V V
F F V V V V V

3 – Dizer qual proposição define a tabela-verdade a seguir.

p q ?
 V V F
V F V
F V V
F F V

a) (p ^ q)
b) (p v q)
c) (~p v q)
d) (p  q)
e) ~(p ^ q)

Resposta:
A proposição da letra e define a tabela-verdade acima.

4 – Dizer qual proposição define a tabela-verdade a seguir.

p q ?
V V F
V F V
F V F
F F F

a) (p  ~q)
b) (p  q)
c) (~p  q)
d) (~p v q)
e) (p ^ ~q)
Resposta:
A proposição da alternativa e define a tabela-verdade acima.

5 -Escrever cada uma das proposições a seguir na forma simbólica

usando p e q.
a) Ele é alto e elegante.
b) Ele é alto mas não é elegante.
c) É falso que ele é baixo ou elegante.
d) Ele não é alto nem elegante.
e) Ele é alto, ou ele é baixo e elegante.
f) Não é verdade que ele é baixo e não é elegante.

6 - Sejam as proposições:
p = Está frio.
q = Está chovendo.
Escreva uma sentença verbal correspondente a cada uma das
seguinte proposições:
a) ~p d) q\/~p
b) p/\q e) ~p/\~q
c) p\/q f) ~p\/ ~q
g) ~~q h) ~~p
 i) p~q (p/\~q)p

8 - Sendo p e q proposições, pergunta-se: quais proposições abaixo

são tautologias e quais são contradições.
a) p /\ ~ p
b) p \/ ~ p
c) seja P: a proposição “Ele é alto” e seja q: a proposição “Ele
é Elegante.”

9 - Utilizando V para designar verdade e F para falso, complete a

tabela abaixo:
p q p/\q ~p ~q p\/q ~(p/\~q) ~(q\/~p) p\/~p p\/~q ~p/\~q
V V
V F
F V
F F
ta