PROVA FINAL DE Lógica para Computação

Professor Adolfo Neto (DAINF-UTFPR)

Data: 15/12/2010

Símbolos utilizados:
| = OU
&=E
-> = IMPLICA
! = NÃO
|- = símbolo de sequente

1) Tente demonstrar os sequentes abaixo usando o Sistema KE para Lógica

Proposicional Clássica. Caso não seja possível demonstrar o sequente, escreva
uma valoração que falsifique o sequente, valoração esta obtida através de um ramo
aberto e saturado do tablô.

a) (vale 1 ponto) !X->!Y, A->Z, X->A |- X|Y->Z

b) (vale 1,5 ponto) (A|B|D) -> !!D, D|(A->E), A->D, B->D |- E&!A

Importante: utilize apenas as regras definidas no documento "Como fazer

demonstrações usando o sistema KE". Não crie novas regras!

2) (vale 2,5 pontos) Especifique formalmente a seguinte operação chamada

preencheLacunas:

A operação preencheLacunas recebe como entrada vários dados de um

paciente de um consultório odontológico e dá como saída o custo em reais
necessário para preencher as lacunas (provocadas por cáries) nos dentes
daquele paciente e a quantidade de meses em que o paciente ficará
fazendo o tratamento.

Entradas:
• nome do paciente: uma cadeia de caracteres
• quantidade de lacunas nos dentes do paciente: um valor inteiro
• status do paciente: um valor real
Saídas:
• custo: um valor real
• meses: um valor inteiro

Restrições:
• o nome do paciente não pode ser vazio.
• a quantidade de lacunas deve ser igual ou superior a 1.
• o status do paciente deve ser um valor entre 0 e 1, isto é, maior do
que zero e menor ou igual a 1.
Cálculo das saídas:
• o custo é igual à quantidade de lacunas multiplicada pelo status do
paciente, por sua vez multiplicada por 10 mil.
• a quantidade de meses é calculada da seguinte forma:
◦ se o status do paciente for superior a 0.8, a quantidade de
meses é igual à quantidade de lacunas multiplicado por 2.
◦ senão, se o status do paciente for superior a 0.6, a
quantidade de meses é igual à quantidade de lacunas
multiplicado por 4.
◦ caso nenhum dos dois casos anteriores se aplique, a
quantidade de meses é igual à quantidade de lacunas
multiplicado por 8.

3) (vale 1 ponto) Se for possível, escreva um modelo M que satisfaça o seguinte

conjunto de fórmulas e que contenha pelo menos 3 elementos no seu universo de
valores concretos A:

∀x∃y (P(x)->Q(x,y))
∀x (R(x)&Q(x,x))
∃y (Q(h(y,y)))

4) (vale 0,5 pontos) Assinale com um "X" as fórmulas abaixo que são fórmulas bem-
formadas da lógica clássica de predicados, de acordo com as regras estudadas ao
longo do curso (baseadas em SilvaFingerMelo e HuthRyan):

a) [ ] ∃x(P(x)->∃y(Q(x,y)))
b) [ ] ∃x(g(x,y))
c) [ ] ∀x(x->Q(x))
d) [ ] ∃z(P(x)->Q(x,y))
e) [ ] ∃f(P(y)->Q(y,f(y,y)))

onde P, Q, R são predicados, f,g são funções e x,y são variáveis

5) (vale 1,5 pontos) Liste três razões para o uso de métodos formais no
desenvolvimento de sistemas. Descreva um tipo de sistema para o qual métodos
formais são muito indicados. E um tipo de sistema em que métodos formais podem
ser dispensados.