Ableitungsregel

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Ein Schema oder Vorbild, das es erlaubt, eine Konklusionsformel aus einer oder mehreren Prämissenformeln innerhalb eines deduktiven Systems abzuleiten; Ableitungsregeln legen zulässige Schritte in formalen Beweisen fest.