Lexikon der Argumente

 

I 71
Def Folgerung/Mates: Eine Folgerung liegt vor, wenn die zugehörige Subjunktion (Antezedens/Sukzedens) gültig ist.
>Gültigkeit.
I 84
Def Folgerung/Mates: Eine Folgerung ist eine Aussage φ aus einer Menge Γ von Aussagen, gdw. es keine Interpretation gibt, bei der alle Aussagen von G wahr sind, φ jedoch falsch.
>Interpretation.
Def widerspruchsfrei/wsf: Widerspruchsfrei ist eine Menge G von Aussagen, wenn es eine Interpretation gibt, bei der keine Aussagen von Γ wahr sind. (hier ist wsf = erfüllbar).
>Widerspruchsfreiheit, >Widersprüche, >Erfüllung, >Erfüllbarkeit.
Def Erfüllbarkeit: Eine Menge Γ von Aussagen ist erfüllbar, wenn es eine Interpretation gibt, bei der alle Aussagen von Γ wahr sind (= widerspruchsfrei).
>Wahrheit.
Problem: Das befähigt uns nicht zu entscheiden, ob eine Aussage gültig ist, was eine Folgerung ist, oder was eine widerspruchsfreie Menge ist.
>Entscheidbarkeit/Mates, >Entscheidbarkeit.