Lista di regole di inferenza
Regole di inferenza di uso comune.
Regole di trasformazione condizionale
[modifica | modifica wikitesto]- Modus ponens
- Modus tollens
- Congiunzione
- Disgiunzione
- Semplificazione
- Addizione
- Ripetizione
- Sillogismo disgiuntivo
- Sillogismo ipotetico
- Dilemma costruttivo
- Dilemma distruttivo
Regole di trasformazione bicondizionale
[modifica | modifica wikitesto]- Doppia negazione
- Implicazione
- Contrapposizione
- Esportazione
- Distribuzione
- Leggi di De Morgan
- Commutazione
- Associazione
- Tautologia
- Equivalenza