Diskussion:Zulässige Regel

Letzter Kommentar: vor 14 Jahren von Pacogo7 in Abschnitt Wo bleibt die Logik?

Wo bleibt die Logik?

Bearbeiten

1. und 2. zusammengenommen sind gleichbedeutend mit

- wenn jeder beweisbare Satz, der mit der Regel bewiesen werden kann, auch ohne sie bewiesen werden kann.

Sollte man dann vielleicht auch so schreiben, oodrrr? Dhanyavaada 20:53, 23. Nov. 2009 (CET)Beantworten

Dein Vorschlag wurde heute als Entwurf eingebaut. Dieser muss aber noch gesichtet oder ggf. zurückgesetzt werden. 77.47.50.30 23:26, 1. Feb. 2010 (CET)Beantworten

Ich denke der Entwurf ist nicht so gut. Das mit der Menge der Sätze trifft nicht das, worum es in einem Kalkül geht. Dort werden Kalkülformeln abgeleitet. Wenn man beweisen kann, dass alle Figuren (Formeln) die in dem Kalkül abgeleitet werden können (auch) ohne eine bestimmte Ableitungsregel abgeleitet werden können, dann ist die Regel gültig in dem Kalkül. --Pacogo7 23:46, 1. Feb. 2010 (CET)Beantworten

Ja, klingt jetzt viel besser! Bin froh, dass ich durch den Entwurf wenigstens eine Änderung zur ursprünglichen Version anregen konnte! 77.47.50.30 00:22, 2. Feb. 2010 (CET)Beantworten
Prima. - Übrigens: Willst Du Dich nicht vielleicht als Benutzer hier anmelden? Grüße--Pacogo7 00:51, 2. Feb. 2010 (CET)Beantworten