Question

Assinale a alternativa que contém as justificativas corretas para os itens i, ii e iii indicados na demonstração abaixo. Dica: cada item (i, ii e iii) deve indicar a regra de inferência ou equivalência lógica correta, ou seja, que justifique o resultado daquela linha a partir das anteriores.



(∃x)[[P(x)]’ ∨ Q(x)] → [(∀x)P(x) → (∃ x)Q(x)]



1.(∃ x)[[P(x)]’ ∨ Q(x)]

2.[P(a)]’ ∨ Q(a)] i

3.P(a) → Q(a) ii

4.(∀x)P(x)

4.P(a) iii

5.Q(a)

6.(∃ x)Q(x) iv


i - linha 2, particularização existencial

ii - linha 1, equivalência Condicional

iii - linha 4, particularização existencial

iv - linha 6, generalização existencial.


i - linha 1, particularização universal

ii - linha 2, equivalência Condicional

iii - linha 4, particularização existencial

iv - linha 6, generalização existencial.


i - linha 1, particularização existencial

ii - linha 2, lei de De Morgan

iii - linha 4, particularização existencial

iv - linha 6, generalização existencial


i - linha 1, particularização existencial

ii - linha 2, lei de De Morgan

iii - linha 4, particularização universal

iv - linha 6, generalização existencial.


i - linha 1, particularização existencial

ii - linha 2, equivalência Condicional

iii - linha 4, particularização universal

iv - linha 6, generalização existencial.



Considere as sentenças abaixo e assinale a alternativa correta.

i. Se uma asserção após uma declaração de atribuição é y > 4, então a precondição tem que ser y ≥ 4.

ii. Na demonstração de correção, são utilizadas técnicas de um sistema de lógica formal

iii. Cláusulas de Horn são compostas somente por predicados negados

Apenas i e iii estão corretas.
Apenas i está correta.
Apenas i e ii estão corretas.
Apenas iii está correta.
Apenas ii está correta.


Suponha um banco de dados Prolog com os seguintes dados:

responsável(A, B)
responsável(C,A)
responsável(D, C)
responsável(C, E)
responsável(D,G)
responsável(F, H)
responsável(A, I)
gerência(X, Y) <=responsável(X, Y)
gerência(X, Y) <= responsável(X, Z) e gerência(Z, Y)
responsável(X, Y): “X é responsável por Y”

gerência(X, Y): “X é gerente de Y”.

Qual alternativa contém a resposta para a seguinte consulta: ?gerência(D, X)

A, B e C
C, E e G.
C, F e G
C, B e H
F, G e E

Answer 1

Resposta:

i - linha 1 , part exexist

ii linha 2 , equi cond

iii linha 4, part uni

iv linha 6, generalização exis.

C, E, e G

Explicação: