Professional Documents
Culture Documents
Símbolos utilizados:
| = OU
&=E
-> = IMPLICA
! = NÃO
|- = símbolo de sequente
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.
∀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)))
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.