HS-regeln

HS-regeln är en slutledningsregel i satslogiken. HS är en förkortning för Hypothetical Syllogism.

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

HS-regeln: Om F → G och G → H är premisser eller tidigare härledda formler i ett satslogiskt system, så kan man från dessa dra slutsatsen, F → H.

Formellt kan regeln skrivas: (F → G) ${\displaystyle \land }$ (G → H) ${\displaystyle \vdash }$ F → H.