HS-regeln

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 ä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) ∧ {\displaystyle \land } (G → H) ⊢ {\displaystyle \vdash } F → H.

Källor

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