Escolar Documentos
Profissional Documentos
Cultura Documentos
Prova 2 - Turma A
Data: 28/11/2019
Nome: Cartão:
(a) (0.5 pontos) - Prove o caso base da prova de corretude da dedução natural.
A propriedade que queremos provar é: para cada sequente φ1 , φ2 , · · · , φn ` ψ com uma prova de k linhas, φ1 , φ2 , · · · , φn ψ é correto.
Considerando k=1, a única prova possível é:
1 φ PREMISSA
Visto que as demais regras envolvem mais de uma linha e o sequente em consideração tem que ser φ ` φ. Neste caso temos também
φ φ.
Supondo a demonstração do argumento φ1 , φ2 , · · · , φn ` ψ com comprimento k, a demonstração fica com a seguinte estrutura:
1 φ1 PREMISSA
2 φ2 PREMISSA
...
n φn PREMISSA
...
k ψ (JUSTIFICAÇÃO)
(b) (0.75 pontos) - Suponha, que temos uma prova de φ1 , · · · , φ2 ` ψ com k linhas. Complete a última etapa da prova da corretude da
dedução natural caso a ultima regra aplicada foi ∧i .
Temos:
k ψ1 ∧ ψ2 ∧i k1, k2
Por definição: k1 < k e k2 < k. Logo, existem demonstrações dos argumentos φ1 , φ2 , · · · , φn ` ψ1 e φ1 , φ2 , · · · , φn ` ψ2 . Usando a
hipótese da indução, conclui-se que φ1 , φ2 , · · · , φn ψ1 e φ1 , φ2 , · · · , φn ψ2 são verdadeiras. Pela definição de ∧: ψ = ψ1 ∧ ψ2 é
verdadeira.
1 P (a) PREMISSA
2 ¬P (b) PREMISSA
3 a=b HIPÓTESE
4 P (b) =e 1, 3
5 ⊥ ¬e 2, 4
6 ¬(a = b) ¬i 3-5
(d) (1.25 pontos) - ∃x(P (x) ∧ Q(x)), ∀x(Q(x) → ¬R(a, x)) ` ∃x(P (x) ∧ ¬R(a, x))
3. ∃xP (x)• 1∧
4. ∃xQ(x)• 1∧
5. P (a) 3∃
6. Q(b) 4∃
7. ¬∀xP (x)• 2 ¬∨
8. ¬∀xQ(x)• 2 ¬∨
9. ∃x¬P (x)• 7 ¬∀
10. ¬P (c) 9∃
11. ∃x¬Q(x)• 8 ¬∀
12. ¬Q(d) 11 ∃
13.
SEQUENTE INVÁLIDO
Universidade Federal do Rio Grande do Sul INF05508 – Lógica para Computação
Instituto de Informatica 2019/2
Departamento de Informática Teórica André Grahl Pereira
(b) (1.25 pontos) - ` (∀x∀y∀z(S(x, y) ∧ S(y, z) → S(x, z))) → (∀x¬S(x, x)) → ¬(∃x∀y(S(x, y) → ¬S(y, x))).
8. ¬S(a a) 4∀
16.
17. X X
SEQUENTE INVÁLIDO
CONTRA-EXEMPLO: U={a}, S={}