Deduktives System

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Ein formaler Apparat, der aus einer formalen Sprache sowie einer Menge von Axiomen (oder Axiomenschemata) und Inferenzregeln besteht, die bestimmen, welche Folgen von Formeln als gültige Herleitungen von Prämissen zu Konklusionen gelten.