Regole di inferenza di uso comune.
Reductio ad absurdum
Regole di trasformazione condizionale
Modus ponens Modus tollens Congiunzione Disgiunzione Semplificazione Addizione Ripetizione Sillogismo disgiuntivo Sillogismo ipotetico Dilemma costruttivo Dilemma distruttivo
Regole di trasformazione bicondizionale
Doppia negazione Implicazione Contrapposizione Esportazione Distribuzione Leggi di De Morgan Commutazione Associazione Tautologia Equivalenza
Regole di trasformazione ipotetica
Dimostrazione condizionale Dimostrazione indiretta
Voci correlate Regola di inferenza
Categoria:Logica matematica Regole di inferenza