Inferenzregel

==> Kalkül

<=> Modus ponens

<=> Modus tollens

<== Aussagenlogik

<=> Resolution

==> System, formales

<== vollständig, Vollständigkeit

<== Lambda-Kalkül

<== Inferenz

<== Deduktion

<== Regel

<== Conceptual-Dependency-Theorie