Bewertung (Logik): Zuordnung von Wahrheitswerten ("wahr" oder "falsch") zu Aussageformeln, die sich aus der Belegung der einzelnen Variablen mit Wahrheitswerten ergibt. Dieses Verfahren erlaubt z.B. zu entscheiden, ob eine Formel z.B. eine Tautologie ist. Siehe auch Interpretation, Wahrheitswert, Wahrheits-Tabelle._____________Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente.
|
