Beseitigung von Biconditional

Beseitigung von Biconditional ist der Name von zwei gültigen Regeln der Schlussfolgerung der Satzlogik. Es berücksichtigt, um einen bedingten aus einem biconditional abzuleiten. Wenn wahr ist, dann kann man ableiten, dass, und auch wahr ist, der wahr ist. Zum Beispiel, wenn es wahr ist, dass ich atme, wenn, und nur wenn ich dann lebendig bin, es wahr ist, dass, wenn ich atme, ich lebendig bin; ebenfalls ist es wahr, dass, wenn ich lebendig bin, ich atme. Die Regeln können formell als festgesetzt werden:

:

und

:

wo die Regel darin besteht, dass, wo auch immer ein Beispiel "" auf einer Linie eines Beweises, entweder "" oder "" erscheint, auf einer nachfolgenden Linie gelegt werden kann;

Formelle Notation

Die biconditional Beseitigungsregel kann in der folgenden Notation geschrieben werden:

:und:

wo ein metalogical Symbol ist, das bedeutet, dass, im ersten Fall, und im anderen syntaktische Folgen in einem logischen System sind;

oder als die Behauptung einer mit der Wahrheit funktionellen Tautologie oder der Lehrsatz der Satzlogik:

::

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


Einführung von Biconditional / Grundpaar
Impressum & Datenschutz