Regel (Logik)
Regel [aus mittellateinisch regula »Ordensregel«, von lateinisch regula »Richtholz«, »Richtschnur«; »Regel«], Logik und Mathematik:
in der Kalkültheorie (Kalkül) Vorschrift für die Herstellung von Figuren aus Grundfiguren (aus Vordersätzen, den Prämissen, werden Konklusionen gemäß den Ableitungsregeln gewonnen), wobei den »zulässigen Regeln« eine besondere Bedeutung zukommt. Die Regeln eines Systems, z. B. der Aussagenlogik, werden immer in einer Metasprache formuliert, in der über das fragliche
Informationen zum Artikel
Quellenangabe