Diskussion:Zulässige Regel
aus Wikipedia, der freien Enzyklopädie
Dies ist die aktuelle Version dieser Seite, zuletzt bearbeitet am 2. November 2018 um 13:08 Uhr durch imported>Pacogo7(56134) (Pacogo7 verschob die Seite Diskussion:Gültige Regel nach Diskussion:Zulässige Regel: "Gültige" ist sachlich falsch "zulässig" richtig Fachterminus ref schröder heister wird nachgeliefert).
Wo bleibt die Logik?
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)
- 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)
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)
- 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)
- Prima. - Übrigens: Willst Du Dich nicht vielleicht als Benutzer hier anmelden? Grüße--Pacogo7 00:51, 2. Feb. 2010 (CET)
