Diskussion:Modus ponendo tollens

Überarbeiten

Hier fehlt eine Abgrenzung zu Modus ponendo ponens (oft unexakt zu Modus ponens abgekürzt) nolens volens unter besonderer Berücksichtigung der Modallität des Modus tollendo tollens ... Hafenbar 00:15, 25. Okt. 2008 (CEST)

Wieso, das geht doch allein schon aus der Form hervor? MP: (A . (A -> B) -> B). MPT: (neg (A . B) . A -> neg B). Ich finde die Erläuterung kurz und knackig. Was fehlt denn? Gruß, 69.159.105.74 20:06, 16. Jan. 2009 (CET)

Der Modus ponendo tollens ist eine Schlussfigur der klassischen Aussagenlogik bzw. eine Schlussregel vieler logischer Kalküle, die es erlaubt, aus einem Satz der Form "¬(A ∧ B)" und einem Satz der Form "A" auf einen Satz der Form "¬B" zu schließen: ... (Modus ponendo tollens)

Der Modus tollendo ponens oder Disjunktive Syllogismus ist eine Schlussfigur der traditionellen Aussagenlogik bzw. eine Schlussregel vieler logischer Kalküle, die es erlaubt, aus einem Satz der Form A oder B und einem Satz der Form Nicht A auf einen Satz der Form B zu schließen. ... (Modus tollendo ponens)

Da stellen sich mir beim direkten Vergleich des ersten Satzes dieser knackigen Artikel gleich drei Fragen:

1) Warum ist in diesem Artikel das Wort Schlussfigur (z. Zt. rot) verlinkt und im anderen nicht?

2) Was ist der Unterschied zwischen klassischer Aussagenlogik und traditioneller Aussagenlogik?

3) Warum wird in der einleitenden Definition des einen Artikels mit Symbolen gearbeitet, im anderen Artikel aber nicht?

... Hafenbar 18:14, 29. Jan. 2009 (CET)

Hi, ich bin's wieder. Danke für die Erklärung, jetzt hab ich verstanden, was du meinst, und muss dir beipflichten: Die Artikel MPT, MP, MT und MTP sind nicht sehr einheitlich. Hab jetzt mal versucht, MPT und MTP anzugleichen.

zu 1: Den Rotlink hab ich entfernt, weil "Schlussfigur" in den anderen Artikeln auch nicht verlinkt wird.

zu 2: Zwischen klass. und trad. Aussagenlogik gibt's meines Wissens keinen Unterschied, hab es darum in "klass. AL" geändert.

zu 3: Das mit den Symbolen war auch nur im Artikel MPT so, hab das ebenfalls angepasst (in den anderen Artikeln ist es kursiv geschrieben). Hoffentlich konnte ich helfen! Gruß, 69.159.104.74 20:15, 30. Jan. 2009 (CET)

Hallo, offen gestanden habe ich mit dem *gesamten* "siehe auch"-Artikelkomplex Probleme, es wäre aber unfair und wenig zielführend (angesichts meiner 1. obigen, offen gestanden nicht ganz ernst gemeinten, Überarbeiten-Begründung) Dir nun weitere "Stöckchen" hinzuhalten. Ich habe insofern den Baustein *hier* entfernt und meinem Unmut sachlich auf Diskussion:Schlussregel#Überarbeiten Luft gemacht, siehe dort insbesondere 6). ... Grüße Hafenbar 22:06, 30. Jan. 2009 (CET)

Salut! Gut, danke... Ja, die vier Schlussfiguren sind wirklich nicht einheitlich. Aber ich lass da jetzt mal die Finger von, ehe ich sie mir wieder verbrenne. Hoffentlich findet sich jemand, der die Aufräumarbeit übernimmt. Eigentlich dürfte das nicht so schwierig sein. Bis auf Weiteres viele Grüße, 69.159.109.28 17:52, 31. Jan. 2009 (CET)