Toggle menu
Toggle personal menu
Not logged in
Your IP address will be publicly visible if you make any edits.

Bewertung (Logik)

From Wickepedia

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. 1.0 1.1 1.2 Regenbogen/Meyer, Wörterbuch der philosophischen Begriffe (2005)/Modelltheoretische Semantik
  2. Kutschera/Breitkopf, Einführung in die moderne Logik, 8. Aufl. (2007), ISBN 978-3-495-482711, S. 62