Logica

4ª Lista de Exercícios – Tabelas-Verdade (Gabarito)

1) Construir as tabelas-verdade das seguintes proposições:
a. ~(p v ~q)
b. ~(p  ~q)
c. p ^ q  p v q
d. ~p  (q  p)
e. (p  q)  p ^ q

2) Construir as tabelas-verdade das seguintes proposições:
a. ~p ^ r  q v ~r
b. p  r  q v ~r
c. p  (p  ~r)  q v r
d. (p ^ q  r) v (~p  q v ~r)

3) Determinar P (VV, VF, FV, FF) em cada um dos seguintes casos:
a. P(p, q) = ~(~p  q)
b. P(p, q) = ~p v q  p
c. P(p, q) = (p v q) ^ ~(p ^ q)
d. P(p, q) = (p v ~q) v (~p v q)
e. P(p, q) = ~((p v q) ^ (~p v ~q)

4) Determinar P (VVV, VVF, VFV, VFF, FVV, FVF, FFV, FFF) em cada um dos seguintes casos:
a. P(p, q, r) = p v (q ^ r)
b. P(p, q, r) = (p ^ ~q) v r
c. P(p, q, r) = ~p v (q ^ ~r)
d. P(p, q, r) = (p v q) ^ (p v r)
e. P(p, q, r) = (p v ~r) ^ (q v ~r)

5) Determinar P(VFV) em cada um dos seguintes casos:
a. P(p, q, r) = p ^ ~r  ~q
b. P(p, q, r) = ~p ^ (q v ~r)
c. P(p, q, r) = ~(p ^ q)  ~(p v ~r)
d. P(p, q, r) = (r ^ (p v ~q)) ^ ~(~r v (p ^ q))
e. P(p, q, r) = (p ^ q  r)  q v ~r

6) Sabendo que os valores lógicos das proposições p e q são respectivamente F e V, determinar o valor lógico da proposição:
(p ^ (~q  p)) ^ ~((p  ~q)  q v ~p)