Gerenciamento de projetos

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

1. Construir as tabelas-verdade das seguintes proposições:

1. ~(p v ~q)
2. ~(p → ~q)
3. p ^ q → p v q
4. ~p → (q → p)
5. (p → q) → p ^ q

1. Construir as tabelas-verdade das seguintes proposições:

1. ~p ^ r → q v ~r
2. p → r ↔ q v ~r
3. p → (p → ~r) ↔ q v r
4. (p ^ q → r) v (~p ↔ q v ~r)

1. Determinar P (VV, VF, FV, FF) em cada um dos seguintes casos:

1. P(p, q) = ~(~p ↔ q)
2. P(p, q) = ~p v q → p
3. P(p, q) = (p v q) ^ ~(p ^ q)
4. P(p, q) = (p v ~q) v (~p v q)
5. P(p, q) = ~((p v q) ^ (~p v ~q)

1. Determinar P (VVV, VVF, VFV, VFF, FVV, FVF, FFV, FFF) em cada um dos seguintes casos:

1. P(p, q, r) = p v (q ^ r)
2. P(p, q, r) = (p ^ ~q) v r
3. P(p, q, r) = ~p v (q ^ ~r)
4. P(p, q, r) = (p v q) ^ (p v r)
5. P(p, q, r) = (p v ~r) ^ (q v ~r)

1. Determinar P(VFV) em cada um dos seguintes casos:

1. P(p, q, r) = p ^ ~r → ~q
2. P(p, q, r) = ~p ^ (q v ~r)
3. P(p, q, r) = ~(p ^ q) ↔ ~(p v ~r)
4. P(p, q, r) = (r ^ (p v ~q)) ^ ~(~r v (p ^ q))
5. 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)

[pic 3][pic 4][pic 5][pic 6][pic 7]

...