Digital Eliteboard - Das Digitale Technik Forum
Registriere dich noch heute kostenloses um Mitglied zu werden! Sobald du angemeldet bist, kannst du auf unserer Seite aktiv teilnehmen, indem du deine eigenen Themen und Beiträge erstellst und dich über deinen eigenen Posteingang mit anderen Mitgliedern unterhalten kannst! Zudem bekommst du Zutritt zu Bereiche, welche für Gäste verwehrt bleiben
zulässig
Eine Schlussregel heißt zulässig in Bezug auf einen Kalkül, wenn jede Formel des Kalküls, die in dem Kalkül mit Verwendung dieser Regel hergeleitet werden kann, bereits auch ohne Verwendung dieser Regel hergeleitet werden kann.
Auf diese Weise lassen sich Gültigkeitsbeweise von Regeln durchführen: Ist eine Regel wie etwa die Schnittregel in einem Kalkül zulässig, also eliminierbar, so ist sie in dem Kalkül gültig.
Auf diese Weise lassen sich Gültigkeitsbeweise von Regeln durchführen: Ist eine Regel wie etwa die Schnittregel in einem Kalkül zulässig, also eliminierbar, so ist sie in dem Kalkül gültig.
Du musst dich
Anmelden
oder
Registrieren
um diesen link zusehen!