Diskussion:Wahrheitsbaum

Letzter Kommentar: vor 13 Jahren von Jazzman in Abschnitt Redundanz

Ähm, irgendwie scheint der LateX-Code nicht mehr richtig zu funktionieren. Kann das jemand korrigieren? --JazzmanPostStudent? 13:36, 15. Nov. 2008 (CET)Beantworten

Hab den letzten Satz in der Einleitung mal umformuliert. Find es so schöner und klarer, wenn am Ende dann auch das rauskommt, was man anfangs zeigen wollte. So wie es bisher formuliert war, also dass man per Wahrheitsbaum versucht eine Tautologie nachzuweisen und am Ende dann doch keine hat, wenn man mind. einen widerspruchsfreien Zweig hat, fand ich es für Laien etwas unglücklich, und so wird ja das gleiche ausgesagt, aber halt irgendwie konsistenter ^^ -- Diskworld ^^ - Xand0r trusts no one 19:20, 27. Mai 2009 (CEST)Beantworten

Redundanz

Bearbeiten

Äh, diesen Artikel gab es schon ein ganzes Weilchen: Baumkalkül. Viele Grüße, --GottschallCh 13:07, 12. Aug. 2009 (CEST)Beantworten

Naja, das Thema ist nicht identisch aber dieser Artikel sollte klarerweise unter Baumkalkül eingearbeitet werden. --JazzmanPostStudent? 19:44, 1. Dez. 2010 (CET)Beantworten