Als Wahrheitsbaum oder Baummethode wird in der Logik eine Methode bezeichnet, Aussagen darauf zu prüfen, ob sie Tautologien sind. 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 Wahrheits...