Logische Konsequenz

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Relation, in der eine Menge von Sätzen semantisch die Wahrheit eines anderen Satzes in jeder Interpretation garantiert: eine Folgerelation zwischen Prämissen und Konklusion über alle Modelle der Prämissen hinweg.