HS-regeln

Från Wikipedia
Hoppa till navigering Hoppa till sök
Slutledningsregler
Deduction symbols2.gif
Satslogiska slutledningsregler
 Predikatlogiska slutledningsregler 
Andra slutledningsregler

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) (G → H) F → H.

Källor[redigera | redigera wikitext]

  • An Introduction to Logic and Scientific Method, Morris F. Cohen, Harcourt 1962.