HS-regeln

Slutledningsregler
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;

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

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) $\land$ (G → H) $\vdash$ F → H.

Källor