Konnektionsmethode

==> Kalkül

==> Modus ponens

==> Logik

==> Beweis

==> Unifikation

==> Disjunktion