In der klassischen Logik ist hypothetischer Syllogismus eine gültige Argument-Form, die ein Syllogismus ist, der eine bedingte Behauptung für eine oder beide seiner Propositionen hat.

:If, durch den ich dann nicht erwecke, kann ich nicht zur Arbeit gehen.

:If ich kann dann nicht zur Arbeit gehen, werde ich nicht bezahlt.

:Therefore, wenn ich dann nicht aufwache, werde ich nicht bezahlt.

In der Satzlogik ist hypothetischer Syllogismus der Name einer gültigen Regel der Schlussfolgerung (häufig hat HS abgekürzt und hat manchmal auch das Kettenargument, die Kettenregel oder den Grundsatz von transitivity der Implikation genannt). Hypothetischer Syllogismus ist eine der Regeln in der klassischen Logik, die in bestimmten Systemen der nichtklassischen Logik nicht immer akzeptiert wird. Die Regel kann festgesetzt werden:

wo die Regel dass darin besteht, wann auch immer Beispiele"", und "" auf Linien eines Beweises erscheinen, "" kann auf einer nachfolgenden Linie gelegt werden.

Hypothetischer Syllogismus ist nah verbunden und ist dem abtrennenden Syllogismus ähnlich, in dem es auch Typ des Syllogismus und auch der Name einer Regel der Schlussfolgerung ist.

Formelle Notation

Die hypothetische Syllogismus-Regel kann in der folgenden Notation geschrieben werden:

wo ein metalogical Symbol ist, das bedeutet, dass das eine syntaktische Folge, und in einem logischen System ist;

und hat als eine mit der Wahrheit funktionelle Tautologie oder Lehrsatz der Satzlogik ausgedrückt:

wo, und in einem formellen System ausgedrückte Vorschläge sind.

Beweis

Siehe auch

• Das Bestätigen des folgenden
• Das Bestreiten des vorangegangenen Ereignisses
• Transitive Beziehung

Außenverbindungen

• http://www.philosophy-index.com/logic/forms/hypothetical-syllogism.php