Discusión:Principio de explosión

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) 

Pero hay otras demostraciones.

--87.218.94.183 (discusión) 10:31 3 mar 2010 (UTC)