Demostracin por reduccin al absurdo (Mtodo abreviado o prueba formal de

invalidez):
Suponemos que es posible que las premisas sean verdaderas y la conclusin
falsa:
Si es posible entonces el razonamiento NO es vlido.
Premisa 1: =
Premisa 2: ~ =
Premisa 3: =
____________________
Conclusin =
De acuerdo con la conclusin r es Falsa, y de acuerdo con la premisa 3para
que sea verdadera, siendo r falsa, p debe ser falsa. En cuanto a la premisa 2
para que sea verdadera q debe ser falsa. Pero con p Falsa y con q Falsa no se
cumple que la premisa 1 sea verdadera, luego, llegamos a una contradiccin.
En conclusin, del anlisis por reduccin al absurdo se concluye que no es
posible que cuando las premisas sean verdaderas, la conclusin sea falsa, por
lo tanto el razonamiento es vlido.