Lógica para Computação
Mini-Prova 2 - Turma S73
Professor: Adolfo Neto
Alun*:
1. Assinale uma das fórmulas abaixo que está na Forma Normal Disjuntiva
e é logicamente equivalente a ¬(p ∧ ¬q) ∧ ¬¬¬(q ∧ r):
(a) (¬p ∨ q ∨ ¬r) ∧ ¬p
(b) (¬q ∧ ¬p) ∨ (¬r ∧ ¬p) ∨ (¬q ∧ r)
(c) (p ∨ ¬q ∨ ¬r)
(d) (¬q ∧ ¬p) ∨ (¬q ∧ q) ∨ (¬r ∧ ¬p) ∨ (¬r ∧ q)
(e) (¬q ∨ ¬p) ∧ (¬q ∨ q) ∧ (¬r ∨ ¬p) ∧ (¬r ∨ q)
Obs.: Pode ser que mais de uma alternativa esteja correta. Para acertar
a questão, basta assinalar uma alternativa e justificar (no final da prova),
mostrando como você chegou à alternativa que você escolheu.
2. Seja o seguinte programa em Prolog:
:- dynamic aluno/2, filosofo/1.
filosofo(wittgenstein). % wittgenstein foi um filosofo
filosofo(byron).
aluno(wittgenstein,russell). % russel foi aluno de wittgenstein
aluno(pele,maradona).
filosofo(X):-aluno(Y,X),
filosofo(Y), !.
Assinale a alternativa que dá as respostas corretas na ordem correta para
as perguntas abaixo:
• Se fizermos a consulta filosofo(russell), qual será o resultado?
• E se a consulta for filosofo(maradona)?
• E se antes da consulta filosofo(maradona) fizermos um assert(filosofo(pele)),
qual será o resultado da consulta filosofo(maradona)?
• E se antes da consulta filosofo(russell) fizermos um retract(filosofo(wittgenstein)),
qual será o resultado da consulta filosofo(russell)?
(a) true. false. true. false.
(b) true. false. false. true.
(c) true. true. true. false.
(d) true. false. false. false.
(e) Nenhuma das anteriores.
1
3. Assinale a alternativa INCORRETA sobre o método da resolução:
(a) O método da resolução é um método refutacional.
(b) O método da resolução, da forma como foi visto em sala de aula,
exige que as fórmulas estejam na forma normal disjuntiva.
(c) Uma demonstração com o método da resolução pode terminar quando
se encontra o ⊥.
(d) O método da resolução possui apenas uma regra, a regra da resolução.
(e) Nenhuma das anteriores.
Gabarito
Circule a alternativa escolhida (apenas mini-provas com o gabarito preenchido
serão consideradas!):
1.
A
B
C
D
E
2.
A
B
C
D
E
3.
A
B
C
D
E
Espaço para justificativa da questão 1
2
Lógica para Computação
Mini-Prova 2 - Turma S73
Professor: Adolfo Neto
Alun*:
1. Assinale uma das fórmulas abaixo que está na Forma Normal Disjuntiva
e é logicamente equivalente a ¬(r ∧ ¬q) ∧ ¬¬¬(q ∧ p):
(a) (¬p ∨ q ∨ ¬r) ∧ ¬p
(b) (¬q ∧ ¬p) ∨ (¬r ∧ ¬p) ∨ (¬q ∧ r)
(c) (r ∨ ¬q ∨ ¬p)
(d) (¬q ∨ ¬p) ∧ (¬q ∨ q) ∧ (¬r ∨ ¬p) ∧ (¬r ∨ q)
(e) (¬q ∧ ¬r) ∨ (¬q ∧ q) ∨ (¬p ∧ ¬r) ∨ (¬p ∧ q)
Obs.: Pode ser que mais de uma alternativa esteja correta. Para acertar
a questão, basta assinalar uma alternativa e justificar (no final da prova),
mostrando como você chegou à alternativa que você escolheu.
2. Seja o seguinte programa em Prolog:
:- dynamic aluno/2, filosofo/1.
filosofo(wittgenstein). % wittgenstein foi um filosofo
filosofo(byron).
aluno(wittgenstein,russell). % russel foi aluno de wittgenstein
aluno(pele,maradona).
filosofo(X):-aluno(Y,X),
filosofo(Y), !.
Assinale a alternativa que dá as respostas corretas na ordem correta para
as perguntas abaixo:
• Se fizermos a consulta filosofo(russell), qual será o resultado?
• E se a consulta for filosofo(maradona)?
• E se antes da consulta filosofo(russell) fizermos um retract(filosofo(wittgenstein)),
qual será o resultado da consulta filosofo(russell)?
• E se antes da consulta filosofo(maradona) fizermos um assert(filosofo(pele)),
qual será o resultado da consulta filosofo(maradona)?
(a) true. false. true. false.
(b) true. false. false. true.
(c) true. true. true. false.
(d) true. false. false. false.
(e) Nenhuma das anteriores.
3
3. Assinale a alternativa INCORRETA sobre o método da resolução:
(a) Uma demonstração com o método da resolução sempre terminaa
quando se encontra o >.
(b) O método da resolução possui apenas duas regras, a regra da contração e a regra da resolução.
(c) O método da resolução é um método refutacional.
(d) O método da resolução, da forma como foi visto em sala de aula,
exige que as fórmulas estejam na forma normal disjuntiva.
(e) Nenhuma das anteriores.
Gabarito
Circule a alternativa escolhida (apenas mini-provas com o gabarito preenchido
serão consideradas!):
1.
A
B
C
D
E
2.
A
B
C
D
E
3.
A
B
C
D
E
Espaço para justificativa da questão 1
4