WikiDer > Logische Konsequenz

Mit logische Konsequenz oder logische Konsequenz wird in beiden angezeigt Logik wie im Mathematik das Doppelbeziehung zwischen a SammlungSätze und/oder Vorschläge, wobei der letzte Satz/Satz a . ist logische Implikation ist von dem Vorhergehenden. Logische Konsequenzen sind das Ergebnis von Abzug und sind ein grundlegendes Konzept innerhalb der Logik. Logische Konsequenzen werden kombiniert mit Schlussfolgerungen in dem Erkenntnistheorie verwendet, um Hypothesen über die Kausalität von Risikofaktoren.

Eine formal beschriebene logische Konsequenz kann sein: Modelltheorie oder der Beweistheorie oder beide sind gekennzeichnet. Eine logische Konsequenz lässt sich auch als mathematische Funktion, wobei eine Menge von Sätzen die Eingabe und die andere Menge die Ausgabe ist.

Beispiel

Ein Beispiel für eine logische Konsequenz ist der Satz "Willem Alexander stoppt jedes Jahr Prinzentag das Rede vom ThronDieser Satz ist die logische Konsequenz aus den beiden Sätzen „Willem-Alexander ist der König der Niederlande“ und „Der König der Niederlande hält alljährlich die Thronrede am Prinsjesdag“, während der Satz „Willem-Alexander hält die Rede vom Thron jedes Jahr am Prinzentag".