Diskussion:Matrizenmethode

Es ist mir doch ein wenig zu viel Arbeit, alles zu tun, wofür ich den Artikel gedacht hatte. Ich finde nicht raus, wie man Artikel umbenennt, darum: Könnte wohl jemand diesen Artikel in "Matritzenmethode" umbenennen? (Oder mir sagen, wie das geht.) Der Text wird dann entsprechend abgeändert (und auch noch etwas ergänzt) und von der Aussagenlogik hier her verlinkt.--Alimantando 20:00, 19. Dez 2005 (CET)

Möglicherweise ist der Artikel sogar redundant. Insofern er das Matrizenverfahren als Synonym für das Aufstellen von und Arbeiten mit Wahrheitstafeln behandelt, überlappt er sich mit Wahrheitstabelle und insbesondere mit dem dortigen Kapitel Wahrheitstabelle#Beweisverfahren, das dort allerdings ruhig etwas weiter ausgebaut werden könnte. Insofern er von verkürzter Matrizenmethode handelt, scheint mir das verfahren mit Beth-Tableaux identisch zu sein. --GottschallCh 16:40, 21. Jan 2006 (CET)

Überarbeiten (erl.)

Ganz dringend fehlt dem Artikel eine Einleitung und Quellenangaben. Fühlt sich jemand im Stande dies zu ergänzen? --Christian1985 (Diskussion) 23:17, 7. Sep. 2011 (CEST)

Hmm, ich würde ja eigentlich dem von GottschallCh im vorangehenden Diskussionsabschnitt geschriebenen zustimmen: der Artikel ist irgendwie überflüssig. --Daniel5Ko 00:19, 8. Sep. 2011 (CEST)

Für zukünftige Leser: Es fand letztlich eine QS statt und das Problem wurde heute als erledigt archiviert! Die Diskussion kann im Archiv eingesehen werden. --Accountalive^D 14:03, 14. Apr. 2012 (CEST)