Dê uma prova formal para cada argumento:
Questão-07. As deduções estão corretas. Apenas forneça as justificativas em cada etapa da dedução
c) Deduzir
das premissas P-1 e P-2
-
-
-
-
- Ax
(
)(Dxy
Bxy)
-
- (
)(Dxy
Bxy)
- Bxy
Cy
- Dxy
Bxy
- Bxy
- Cy
- Ax
Dxy
Cy
-
-
Questão-07. As deduções estão corretas. Apenas forneça as justificativas em cada etapa da dedução
c) Deduzir
Passo 1
Resumindo, queremos derivar
a partir das premissas
Usaremos regras de lógica de predicados: instanciação universal (UI), eliminação de conjunção (
E), modus ponens (
E), introdução de implicação (
I) e generalização universal (UG).
Passo 2
De
por Instanciação Universal obtemos a implicação
Passo 3
De
por Instanciação Universal obtemos a implicação
Passo 4
Suponha arbitrários
e
e assuma
para deduzir
.
Passo 5
De
por
E obtemos as fórmulas
e
.
Passo 6
De
e de
por
E segue
Passo 7
De
por UI extraímos
Passo 8
De
e de
por
E segue
Passo 9
De
por UI extraímos
Passo 10
De
e
por
E obtemos
Passo 11
De
e
por
E obtemos
Passo 12
Descarregando a suposição
por
I inferimos
Passo 13
Generalizando em
por UG, obtemos
Passo 14
Generalizando em
por UG, obtemos