Escolar Documentos
Profissional Documentos
Cultura Documentos
Prova 2 - Turma C
Data: 29/11/2018
Nome: Cartão:
Não. Pois PPC e ¬¬i são regras derivadas. Regras derivadas são construídas usando regras básicas, assim basta provar a
corretude das regras básicas. Considere a situação em que mostramos a corretude da dedução natural mostrando provas para
todo o conjunto de regras básicas. Suponha que é possível apresentar uma prova em dedução natural que usa uma regra
derivada para um sequente que não corresponde a uma consequência semântica. Podemos modificar essa prova e substituir a
ocorrência da regra derivada por uma sequência de regras básicas. Assim, existe uma prova em dedução natural para um
sequente que só usa regras básicas que não corresponde a uma consequência semântica, uma contradição.
(b) (1.0 ponto) - ∀x(P (x) → Q(x)), ∀x(P (x) → R(x)), ∃xP (x) ` ∃(Q(x) ∧ R(x)).
4. ¬S ∃xQ(x) X 1. →
5. Q(a) 4. ∃x
6. ¬(S → Q(a)) ¬(S → Q(a)) X 3. ∀
7. S S 6. ¬→
8. ¬Q(a) ¬Q(a) 6. ¬→
⊗ ⊗
Sequente Válido.
Sequente Válido.