Wahrheitsbaum oder Baummethode
Braunschweig-aktuell :: Nachrichten :: Kind & Kegel :: Uni
Seite 1 von 1
Wahrheitsbaum oder Baummethode
Haben wir unten schon mal beschrieben,hier der Zusatz
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 jedem Fall wahr ist (Tautologie), wird dadurch bewiesen, dass gezeigt wird, dass das Gegenteil nie eintreten kann. Ein Wahrheitsbaum beginnt also damit, einer Aussage den Wahrheitswert 0 (falsch) zuzuweisen. Als Nächstes wird die Aussage so gegliedert, dass jeder Fall für das Eintreten des Wahrheitswertes einen eigenen Zweig erhält, an dessen Ende alle Teilbedingungen mit entsprechenden Wahrheitswerten stehen. Mit den Enden dieser Zweige wird genauso verfahren, bis innerhalb eines Zweiges ein Widerspruch feststellbar ist. Wenn dies eintritt, ist gezeigt, dass dieser Fall nicht möglich ist und der Zweig wird (gewöhnlich mit einem x am Ende des Zweiges) geschlossen. Bleiben bis zum Ende der Aufgliederung keine Zweige widerspruchsfrei, ist gezeigt, dass die Anfangsaussage tatsächlich immer falsch ist. Damit ist bewiesen, dass die Aussage eine Tautologie ist.
Zwei Beispiele, siehe Link:
https://de.wikipedia.org/wiki/Wahrheitsbaum
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 jedem Fall wahr ist (Tautologie), wird dadurch bewiesen, dass gezeigt wird, dass das Gegenteil nie eintreten kann. Ein Wahrheitsbaum beginnt also damit, einer Aussage den Wahrheitswert 0 (falsch) zuzuweisen. Als Nächstes wird die Aussage so gegliedert, dass jeder Fall für das Eintreten des Wahrheitswertes einen eigenen Zweig erhält, an dessen Ende alle Teilbedingungen mit entsprechenden Wahrheitswerten stehen. Mit den Enden dieser Zweige wird genauso verfahren, bis innerhalb eines Zweiges ein Widerspruch feststellbar ist. Wenn dies eintritt, ist gezeigt, dass dieser Fall nicht möglich ist und der Zweig wird (gewöhnlich mit einem x am Ende des Zweiges) geschlossen. Bleiben bis zum Ende der Aufgliederung keine Zweige widerspruchsfrei, ist gezeigt, dass die Anfangsaussage tatsächlich immer falsch ist. Damit ist bewiesen, dass die Aussage eine Tautologie ist.
Zwei Beispiele, siehe Link:
https://de.wikipedia.org/wiki/Wahrheitsbaum
checker- Moderator
- Anzahl der Beiträge : 49390
Anmeldedatum : 03.04.11
Ort : Braunschweig
Ähnliche Themen
» Wilhelm Boger oder die Geschichte der Bogerschaukel auch Papageienschaukel (oder Stalinschaukel genannt)
» Nanotechnologie - Fluch oder Segen, gefährlich oder nützlich?
» Tufania (oder Tofana oder Teofania)
» Nanotechnologie - Fluch oder Segen, gefährlich oder nützlich?
» Tufania (oder Tofana oder Teofania)
Braunschweig-aktuell :: Nachrichten :: Kind & Kegel :: Uni
Seite 1 von 1
Befugnisse in diesem Forum
Sie können in diesem Forum nicht antworten
Gestern um 12:17 am von Admin
» Telefunken S950 Settings
So Apr 28, 2024 7:24 am von Admin
» Füllstandanzeige
So Apr 28, 2024 7:16 am von Admin
» ebike controller tester - E-Scooter Fehlersuche Diagnose - Motor / Controller / Gashebel prüfen
Mo März 18, 2024 6:23 am von checker
» Einfach erklärt - Funktionsweiße, Fehlersuche und Tuning. Bürstenloser Nabenmotor
Mo März 18, 2024 6:15 am von checker
» Akne Filme Dr. Pimple Pooper
Sa März 02, 2024 4:50 am von Andy
» R.I.P. Manni
Sa Dez 30, 2023 6:31 am von checker
» R.i.P. Manfred Wüstefeld
So Dez 10, 2023 9:07 am von checker
» R.I.P. Holger
Fr Nov 03, 2023 9:33 pm von Andy