Logische Regeln, die aus wahren Aussagen neue Aussagen herleiten: ->modus tollens, ->modus barbara und ->modus ponens.