UFPE / CIn/ Lógica para Computação / Prova Final - 2020.

3 - 03/12/2020

Parte 1 – Lógica Proposicional

1. (3,0) Escolha três dentre os métodos de prova estudados, para provar que:
{ (P  R), Q, (R  Q)} ⊢ (P  Q)

2. (2,0) Para cada uma das afirmações abaixo, diga se é verdadeira ou falsa. E apresente
uma justificativa. Respostas sem justificativa não serão consideradas.
a) Para qualquer que seja a fórmula A da lógica proposicional, o custo computacional
para se resolver o problema “A é satisfatível?” pelo método da resolução é o
mesmo que para se resolver pelo método dos tableaux analíticos.
b) O teorema da extensão homomórfica única garante que é possível criar uma
função que seja aplicada a todos elementos do Fecho indutivo de um certo conjunto
X sob um conjunto F de funções a partir de uma função aplicada aos elementos de
X desde que o fecho seja livremente gerado.
c) Dada uma proposição   PROP, é ímpossível que  seja refutável e não seja
insatisfatível.
d) Dada uma proposição   PROP, se  é insatisfatível então () é uma tautologia.
e) Se um método de prova é tal que toda vez que  |=  temos  ⊢  então podemos
afirmar que ele é correto..

Parte 2 – Lógica de Predicados

3. (2,5) Use resolução para provar:

{x(P(x,a)  Q(x)), y(P(f(y),a)  Q(y))} |= x(Q(x)  Q(f(x)))

4. (1,0) Use o algoritmo de Herbrand para determinar se os seguintes conjuntos de termos

são unificáveis. Mostre os passos do algoritmo. Se a unificação for possível mostre o
unificador mais geral, caso contrário, explique o motivo.
a) { h(x,f(y),z), h(g(y), f(a), w), h(g(a), z,w) }
b) { f(z,h(a,g(q(y)),x), f(g(b),h(a,g(x)),y) }

5. (1,5) Considere uma estrutura cujo domínio é um conjunto de pessoas . A assinatura e

interpretação são: (i) dois destaques: a = Ana, b=Clarice ; (ii) um símbolo de função
unária: f(x) = a mãe de x ; (iii) três símbolos de relação unária: S(x): x é solteiro, P(x): x
é preguiçoso; A(x): x é atleta; e um símbolo de relação binária: I(x,y): x é irmão de y.
Traduza as seguintes frases para a lógica de primeira ordem usando essa estrutura
como modelo.
a) Se duas pessoas possuem a mesma mãe então elas são irmãs.
b) Se uma pessoa x é irmã de y e y é irmã de z então a pessoa x é irmã da pessoa z.
c) Ana não tem irmão solteiro.
d) A avó materna de Ana é Clarice
e) Não existe atleta preguiçoso.
f) Existem pessoas que são irmãs mas não possuem a mesma mãe.