Logical consequence

In der Logik ist eine rationale Folgerungsrelation eine nicht-monotone Folgerungsrelation, die bestimmte, unten aufgeführte Eigenschaften erfüllt.

In logischen Argumentationen und mathematischen Beweisen wird das „daher“-Zeichen , ∴ , üblicherweise vor einer logischen Konsequenz , wie beispielsweise dem Schluss eines Syllogismus , verwendet .

In der Logik wird das Symbol ⊨, ⊧ oder ⊨ als Doppelkreuz bezeichnet . Es wird oft als „ impliziert “, „ modelliert “, „ist eine semantische Konsequenz von“ oder „ist stärker als“ interpretiert.

In der mathematischen Logik und Informatik wird das Symbol ⊢ ( ) aufgrund seiner Ähnlichkeit mit einem typischen Drehkreuz auch als Drehkreuz bezeichnet .

Das Konsequens ist die zweite Hälfte einer hypothetischen Aussage . In der Standardform einer solchen Aussage ist es der Teil, der auf „dann“ folgt.

Die Monotonie der Folgerung ist eine Eigenschaft vieler logischer Systeme. Demnach folgt ein Satz, der deduktiv aus einer gegebenen Menge von Sätzen folgt, auch deduktiv aus jeder Obermenge dieser Sätze.

Schlussfolgerungen sind Schritte im logischen Denken , die von Prämissen zu logischen Konsequenzen führen .