Inferenzregel

Eine Inferenzregel ist eine Regel der Form

VoraussetzungenKonklusion

Sie erlaubt es, aus bereits hergeleiteten Aussagen neue Aussagen abzuleiten.