HS-regeln
Från Wikipedia, den fria encyklopedin
Från Wikipedia, den fria encyklopedin
HS-regeln är en slutledningsregel i satslogiken. HS är en förkortning för Hypothetical Syllogism.
![]() |
---|
Satslogiska slutledningsregler |
Predikatlogiska slutledningsregler |
|
Andra slutledningsregler |
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.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.