Lista di regole di inferenza
Da Wikipedia, l'enciclopedia libera.
(Reindirizzamento da Elenco di regole di inferenza)
Regole di inferenza di uso comune.
Indice |
Regole di trasformazione condizionale [modifica]
- Modus ponens
- Modus tollens
- Congiunzione
- Disgiunzione
- Semplificazione
- Addizione
- Ripetizione
- Sillogismo disgiuntivo
- Sillogismo ipotetico
- Dilemma costruttivo
- Dilemma distruttivo
Regole di trasformazione bicondizionale [modifica]
- Doppia negazione
- Implicazione
- Contrapposizione
- Esportazione
- Distribuzione
- Leggi di De Morgan
- Commutazione
- Associazione
- Tautologia
- Equivalenza
