Modus ponens

<=> Inferenzregel

<== Aussagenlogik

<== Konnektionsmethode

==> Kalkül

<== Abduktion

<== Prolog

<== Inferenzverfahren

==> Schliessen

<== Deduktion

<== Fuzzy-Logik

<== Schliessen, possibilistisches

==> Implikation