Lista di regole di inferenza
lista di un progetto Wikimedia Da Wikipedia, l'enciclopedia libera
Regole di inferenza di uso comune.
- Modus ponens
- Modus tollens
- Congiunzione
- Disgiunzione
- Semplificazione
- Addizione
- Ripetizione
- Sillogismo disgiuntivo
- Sillogismo ipotetico
- Dilemma costruttivo
- Dilemma distruttivo
- Doppia negazione
- Implicazione
- Contrapposizione
- Esportazione
- Distribuzione
- Leggi di De Morgan
- Commutazione
- Associazione
- Tautologia
- Equivalenza
- Dimostrazione condizionale
- Dimostrazione indiretta
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
