Logica
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)