La reducción al absurdo es un método general de razonamiento que consiste en suponer lo contrario de lo que se busca demostrar, de forma que esto queda demostrado si a partir de dicha suposición se llega a una contradicción, a un resultado imposible. Se opone a la demostración del absurdo.
Referencias en el texto:
También se llaman reglas de transformación o de producción. Una regla de inferencia es una regla explícita para producir un teorema a partir de otro(s) teorema(s) dado(s). Son funciones que relacionan teoremas con teoremas. En los sistemas formales las reglas de inferencia son de naturaleza formal (esto es, sintáctica), y operan sin referencia a los significados de las fórmulas que manipulan. En Aprende Lógica se estudian multitud de reglas de inferencia, como por ejemplo el Modus Ponens o el Modus Tollens
(v. derivación, función, prueba, teorema)
