HS-regeln

Från Wikipedia, den fria encyklopedin

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

Snabbfakta Satslogiska slutledningsregler, Predikatlogiska 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
Denna tabell: visa • redigera

Stäng

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.

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.