Hoppa till innehållet

Mall:Slutledningsregler

Från Wikipedia

(Omdirigerad från Mall:Härledningsregler)


Satslogiska slutledningsregler
Modus ponendo ponens Modus tollendo tollens Modus tollendo ponens Deduktionsteoremet Reductio ad absurdum Och-eliminering Och-introducering Eller-eliminering Eller-introducering HS-regeln
Predikatlogiska slutledningsregler
Universell generalisering Existentiell generalisering Universell specifikation Existentiell specifikation
Andra slutledningsregler
Dilemma
Denna tabell: visa • redigera

Hämtad från ”https://sv.wikipedia.org/w/index.php?title=Mall:Slutledningsregler&oldid=54178828”