Esta demostración de ex contradictione quodlibet es un poco pobre.
Realmente es incorrecta y ya es suficiente.
De todos modos, si se desea mantener este esquema, debería ser como sigue:
- 1 A ∧ ¬A (A y su negación; Premisa)
2 A (Por eliminación de la conjunción en 1)
3 A ∨ B (Por introducción de la disyunción en 2)
4 ¬A (Por Eliminación de las conjunción en 1)
5 B (Por Inferencia alternativa {o silogismo disyuntivo} en 3,4)