¬p → q ⊢p v q
estou estudando lógica matemática computacional gostaria de saber como se faz isso por dedução natural
Ensino Superior ⇒ Dedução Natural
Moderador: [ Moderadores TTB ]
Set 2018
23
17:11
Re: Dedução Natural
¬p → q ⊢p v q
1. ¬p → q.................premissa
2. [¬(p v q)]..............suposição
2.1.....[¬p]...............suposição
2.1.1........q.............e→ 1,2.1
2.1.2........p v q........iV 2.1.1
2.1.3........_|_.........abs 2,2.1.2
2.2.....¬¬p...............raa 2.1,2.1.3
2.3.....p.................e¬¬2.2
2.4.....p v q.............iV 2.3
2.5....._|_...............abs 2,2.4
3.¬¬(p v q)...............raa 2,2.5
4.p v q....................e¬¬3
1. ¬p → q.................premissa
2. [¬(p v q)]..............suposição
2.1.....[¬p]...............suposição
2.1.1........q.............e→ 1,2.1
2.1.2........p v q........iV 2.1.1
2.1.3........_|_.........abs 2,2.1.2
2.2.....¬¬p...............raa 2.1,2.1.3
2.3.....p.................e¬¬2.2
2.4.....p v q.............iV 2.3
2.5....._|_...............abs 2,2.4
3.¬¬(p v q)...............raa 2,2.5
4.p v q....................e¬¬3
Set 2018
23
18:58
Re: Dedução Natural
Poderia dar o nome das etapas por completo em vez de abreviar?
Set 2018
23
19:59
Re: Dedução Natural
iV = introdução do ou
i→ = introdução da implicação
e→ = eliminação da implicação
abs = absurdo
raa = redução ao absurdo
e¬¬ = eliminação da dupla negação
Última edição: darkarmer (Dom 23 Set, 2018 19:59). Total de 1 vez.
-
- Tópicos Semelhantes
- Respostas
- Exibições
- Última msg
-
- 0 Respostas
- 707 Exibições
-
Última msg por matrholambda
-
- 0 Respostas
- 941 Exibições
-
Última msg por EinsteinGenio
-
- 1 Respostas
- 1088 Exibições
-
Última msg por NigrumCibum
-
- 1 Respostas
- 244 Exibições
-
Última msg por LucasDN684
-
- 1 Respostas
- 760 Exibições
-
Última msg por Carlosft57