wahrheitswert
51Logische Operatoren — Ein Logischer Operator ist eine Funktion die einen Wahrheitswert liefert. Bei der zweiwertigen, booleschen Logik liefert er also wahr oder falsch, bei einer mehrwertigen Logik können auch entsprechend andere Werte geliefert werden. Logische… …
52Sinn und Bedeutung — Der 1892 erschienene Aufsatz Über Sinn und Bedeutung ist ein Werk von Gottlob Frege. Frege erläutert darin die Grundbegriffe seiner Sprachphilosophie. Die Abhandlung wurde auch in der Linguistik, speziell in der Semantik, rezipiert (vgl. Lyons… …
53Wahrheitsbaum — Als Wahrheitsbaum oder Baummethode wird in der Logik eine Methode bezeichnet, Aussagen darauf zu prüfen, ob sie Tautologien sind. Hauptartikel: Baumkalkül Die Baummethode ist eine Form der Reductio ad absurdum: Die Annahme, dass eine Aussage in… …
54Wahrheitsgehalt — Ein Wahrheitswert (logischer Wert) gibt in der Logik den Grad der Wahrheit eines Satzes an. Gibt es in einem logischen System mehr als zwei Wahrheitswerte, spricht man oft lieber von Quasiwahrheitswerten, Pseudowahrheitswerten oder Geltungswerten …
55Wahrheitswertefunktion — Eine Wahrheitswertefunktion (kurz: Wahrheitsfunktion) ist eine Funktion im mathematischen Sinn, die Wahrheitswerte auf Wahrheitswerte abbildet. Formal gesprochen ist der Wertebereich einer Wahrheitswertefunktion die Menge der Wahrheitswerte, in… …
56Zweiwertige Logik — Dieser Artikel schildert die moderne Verwendung der Bezeichnung „klassische Logik“. Für Informationen über Logik in der klassischen Antike und über traditionelle Logik im weiteren Sinn siehe Logik, Syllogistik und Begriffslogik. Unter der… …
57Über Sinn und Bedeutung — Über Sinn und Bedeutung; zum Durchblättern anklicken Der 1892 erschienene Aufsatz Über Sinn und Bedeutung ist ein Werk von Gottlob Frege. Frege erläutert darin die Grundbegriffe seiner Sprachphilosophie. Die Abhandlung wurde auch in der… …
58Antirealismus — Der Begriff Realismus umfasst eine Vielzahl philosophischer Positionen, nach denen vom menschlichen Bewusstsein unabhängige Phänomene existieren, die auf uns einwirken und die wir sprachlich bezeichnen können. Dabei werden realistische Thesen… …
59Bivalenzprinzip — Das Prinzip der Zweiwertigkeit, auch Bivalenzprinzip genannt, ist die Eigenschaft einer Logik, dass semantisch jeder Formel genau einer von zwei Wahrheitswerten zugewiesen wird. Häufig werden diese Wahrheitswerte als wahr und falsch bezeichnet.… …
60Entscheidbare Menge — Eine Eigenschaft auf einer Menge heißt entscheidbar (auch: rekursiv), wenn es ein Entscheidungsverfahren für sie gibt. Ein Entscheidungsverfahren ist ein Algorithmus, der für jedes Element der Menge beantworten kann, ob es die Eigenschaft hat… …
