| Jewiki unterstützen. Jewiki, die größte Online-Enzyklopädie zum Judentum.
Helfen Sie Jewiki mit einer kleinen oder auch größeren Spende. Einmalig oder regelmäßig, damit die Zukunft von Jewiki gesichert bleibt ... Vielen Dank für Ihr Engagement! (→ Spendenkonten) |
How to read Jewiki in your desired language · Comment lire Jewiki dans votre langue préférée · Cómo leer Jewiki en su idioma preferido · בשפה הרצויה Jewiki כיצד לקרוא · Как читать Jewiki на предпочитаемом вами языке · كيف تقرأ Jewiki باللغة التي تريدها · Como ler o Jewiki na sua língua preferida |
Bewertung (Logik)
Bewertung wird in der Logik die Zuordnung von Wahrheitswerten zu den Aussageformeln einer Sprache auf der Grundlage einer Belegung genannt.
Von „Bewertung“ spricht man in der Aussagenlogik. Analog spricht man in der Prädikatenlogik von „Interpretation“[1].
Eine Belegung V der Sätze der Sprache S heißt eine Bewertung, wenn gilt:
(a) V (¬ A) = w gdw. V (A) = f
(b) V (A → B) = w gdw. V (A) = f oder V (B) = w.[2]
Wird die Aussagenformel A durch alle Bewertungen erfüllt, so ist A aussagenlogisch wahr, allgemein gültig oder tautologisch.[1]
Wird die Konklusion B eines Schlusses A → B durch alle Bewertungen erfüllt, die auch die Prämisse A erfüllt, so ist auch der Schluss aussagenlogisch gültig.[1]
Einzelnachweise
- ↑ 1,0 1,1 1,2 Regenbogen/Meyer, Wörterbuch der philosophischen Begriffe (2005)/Modelltheoretische Semantik
- ↑ Kutschera/Breitkopf, Einführung in die moderne Logik, 8. Aufl. (2007), ISBN 978-3-495-482711, S. 62
| Dieser Artikel basiert ursprünglich auf dem Artikel Bewertung (Logik) aus der freien Enzyklopädie Wikipedia und steht unter der Doppellizenz GNU-Lizenz für freie Dokumentation und Creative Commons CC-BY-SA 3.0 Unported. In der Wikipedia ist eine Liste der ursprünglichen Wikipedia-Autoren verfügbar. |