前件肯定式_modus_ponens