Lista di regole di inferenza

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
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica