Kalkül

==> System, formales

<== Aussagenlogik

<== Inferenzregel

<== Modus ponens

<== Instantiierung

<== Konnektionsmethode

<== Formalismus

<== Beweis

<== Prädikatenlogik

<== Allquantor

<== Existenzquantor

<== Beweisen, automatisches

<== Berechenbarkeit

<== vollständig, Vollständigkeit

<== Logikprogrammierung

<== Inferenzverfahren

<== Inferenz

<== Deduktion

<== Wissen und Wissensrepräsentation

<== Grammatik, generative

<== Entscheidbarkeit