HS-regeln

Från testwiki
Version från den 22 mars 2015 kl. 15.26 av imported>Definiendum
(skillnad) ← Äldre version | Nuvarande version (skillnad) | Nyare version → (skillnad)
Hoppa till navigering Hoppa till sök

Mall: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

  • An Introduction to Logic and Scientific Method, Morris F. Cohen, Harcourt 1962.
Hämtad från ”https://sv.wiki.beta.math.wmflabs.org/w/index.php?title=HS-regeln&oldid=3034”