Ensino Superior ⇒ Dedução Natural

[irwingato]

¬p → q ⊢p v q

estou estudando lógica matemática computacional gostaria de saber como se faz isso por dedução natural

[darkarmer]

¬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

[irwingato]

Poderia dar o nome das etapas por completo em vez de abreviar?

[darkarmer]

Poderia dar o nome das etapas por completo em vez de abreviar?

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