LERCI/LEIC Tagus Park 2005/06

Inteligência Artificial

Exercícios de Lógica Proposicional

1. Faça as tabelas de verdade para as seguintes fórmulas proposicionais:

a. Q  (P  Q)
b. P  Q  (P  Q)
c. (P  Q)  (S  Q)

O que pode afirmar em relação à validade destas fórmulas?

2. Converta para CNF as seguintes fórmulas:

a. (A  B)  C

b. A  (B  C)

c. (A  B)  (B  A)

d. (A  B)  (C  (D  E))

3. Prove por resolução:

a. {(A  B  D), (A  B  C  D), (B  C), A} ├ C

b. {A, (A  (B  (C  B))), (B  D)} ├ (C  D)

4. Utilize o algoritmo DPLL para encontrar uma atribuição que satisfaça a fórmula
que se segue. Considere que as variáveis são atribuídas por ordem alfabética e que
o valor V é atribuído antes do valor F.

1. (A  B  C) 5. (A  C  D)
2. (A  B  C) 6. (A  C  D)
3. (A  B  C) 7. (B  C  D)
4. (A  C  D) 8. (B  C  D)

5. Prove por resolução que A=F, B=V, C=F e D=V é uma atribuição que satisfaz a
fórmula anterior.