Portal:Logik/Kalküle

Aussagenkalkül • Baumkalkül • Gentzenkalkül • Hilbertkalkül • Hoare-Kalkül • Lambda-Kalkül • Plankalkül • Prädikatenkalkül • Relationenkalkül • Residuenkalkül • Resolutionskalkül • Sequenzenkalkül • Situationskalkül • Systeme natürlichen Schließens

→ Wichtige Schlussregeln: Modus ponens • Modus tollens • Modus ponendo tollens • Kettenschluss • Kontradiktion