Lógica para Computação - Prova 2 - 15/11/2010

Aluna(o): ____________________________________________________________________

1) (vale 1 ponto) Converta as duas fórmulas abaixo para a Forma Normal Conjuntiva:
a) (p&q&r)->!(q|r)
b) ((r->q)&!p)->s

2) (vale 1,5 pontos) O sequente

A∧B, C→!D, A→C, B→E ⊢D→E

é válido? Demonstre (que sim ou que não) usando o Sistema KE. Caso o sequente não seja válido, escreva
também a valoração que é um contra-exemplo para a validade do sequente.

3) (vale 1,5 pontos) O sequente

A∨B, ¬A→¬B∨C, ¬C→(B∧D) ⊢D

é válido? Demonstre (que sim ou que não) usando o Sistema KE. Caso o sequente não seja válido, escreva
também a valoração que é um contra-exemplo para a validade do sequente.

4) (vale 1,5 pontos) Traduza as seguintes sentenças para Prolog:

“Boo é uma criança. Sulley é um monstro. Mike é um monstro. Monstros assustam crianças (isto é, todo
monstro assusta toda criança). Amigos se gostam. Sulley é amigo de Boo. Boo assusta monstros.”

Use os seguinte predicados:

• Criança(X) para representar que X é uma criança.
• Monstro(X) para representar que X é um monstro.
• Gosta(X,Y) para representar que X gosta de Y.
• Amigo(X,Y) para representar que X é amigo de Y.
• Assusta(X,Y) para representar que X assusta Y.

5) (vale 2,5 pontos, sendo 1 o item a e 1,5 o item b) Verifique se é possível chegar à cláusula vazia usando
o método da resolução a partir dos conjuntos de cláusulas abaixo:

a) { { ¬a , ¬d}, { d , ¬b}, { b, f }, { ¬e }, { a, d } }
b) { { ¬y }, { ¬a , ¬b , h } , { ¬b , ¬d , h } , { b , c , y } , { c , y , ¬h } , { a , d } , { ¬c, ¬a }, {¬h} }

Caso não seja possível chegar à cláusula vazia, dê uma valoração que é um contra-exemplo para a
insatisfatibilidade do conjunto de cláusulas.