Diskussion:Wahrheitsbaum
Ähm, irgendwie scheint der LateX-Code nicht mehr richtig zu funktionieren. Kann das jemand korrigieren? --JazzmanPostStudent? 13:36, 15. Nov. 2008 (CET)
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)
Redundanz[Quelltext bearbeiten]
Äh, diesen Artikel gab es schon ein ganzes Weilchen: Baumkalkül. Viele Grüße, --GottschallCh 13:07, 12. Aug. 2009 (CEST)
- Naja, das Thema ist nicht identisch aber dieser Artikel sollte klarerweise unter Baumkalkül eingearbeitet werden. --JazzmanPostStudent? 19:44, 1. Dez. 2010 (CET)