Besonderhede van voorbeeld: -4800056236226281650

German

In der elften Zeile verwenden wir Modus Ponens zur Ableitung, daß Greg schneller ist als Ralf.

English

In the eleventh line, we use modus ponens to infer that Greg is faster than Ralph.