• Artikel
• Bearbeiten
• Historie
• Druckansicht

Inferenzregel

In formalen Systemen und Kalkülen werden aus gegebenen Sätzen S1 mit Hilfe formaler, meist rein syntaktischer Regeln neue Sätze S2 abgeleitet. Diese Regeln werden als Inferenzregeln bezeichnet. Sie definieren eine logische Beziehung zwischen S1 und S2, die meist als S1 S2 notiert wird.

Beispiele für Inferenzregeln sind der Modus ponens, der Modus tollens und die Resolutionsregel.