Modus Ponens

Die Logische Konsequenz $\{A\to B,A\}\models B$