Starblue

De Morgansche Gesetze

Aus welchem Grund hattest du den Beweis der De Morganschen Gesetze entfernt? Ich wäre damit einverstanden, die Wahrheitstabellen zu entfernen, aber der Hinweis auf die Beweisidee sollte drin bleiben. --SirJective 12:45, 28. Mär 2004 (CEST)

Man kann doch ausnahmslos jedes Gesetz der Propositionallogik so beweisen (gilt auch für die Beweisidee), also ist das nichts spezifisch für De Morgan. Starblue 15:04, 28. Mär 2004 (CEST)

Hab's jetzt zu Wahrheitstabellen verschoben. überhaupt fehlen Artikel zu Beweisverfahren. Starblue 16:07, 28. Mär 2004 (CEST)

Nicht jedes Gesetz der Logik bekommt einen Artikel, und bei denjenigen, die wichtig genug sind, halte ich einen Hinweis auf die Beweisidee fuer angebracht. Die Verschiebung zu den Wahrheitstabellen ist sehr gut, dort eignen sie sich ideal als Anwendungsbeispiel.

Meinst du mit Beweisverfahren allgemeine Strategien, wie Beweise gefuehrt werden koennen? Davon gibt's hier erst wenige (Induktion (Mathematik) enthaelt strategische Tips, Beweis (Mathematik) und Beweis (Logik) bisher nur Beispiele). Mir wuerde es schwerfallen, die Strategien, die ich mir bisher angeeignet habe, zu Papier zu bringen - ich koennte sie nicht in Worte fassen. --SirJective 15:58, 29. Mär 2004 (CEST)

Nein, mehr automatische Verfahren wie Resolution, Tableaux, Davis-Putnam usw. Wenn ich Zeit hab, schreib ich mal was. Starblue 17:50, 29. Mär 2004 (CEST)

Aha, also Richtung Beweistheorie, automatisches Beweisen, vielleicht auch konstruktive Beweise mit Programmextraktion? *mit Begriffen um mich werf* Kann ich leider nicht mit dienen. --SirJective 22:14, 29. Mär 2004 (CEST)