Der Modus Ponens ist eine Grundregel der Logik: wenn gilt „aus A folgt B“ und „A ist wahr“, dann gilt auch „B ist wahr“