MODUS PONENS is a rule stating that if a proposition P entails aproposition Q, and P is true, then Q is true.

If a proposition P entails aproposition Q, and P is true, then Q is false

If a proposition P entails aproposition Q, and P is true, then Q is true

If an aproposition Q entails a proposition P, and P is true, then Q is false

If an aproposition Q entails a proposition P, and P is true, then Q is true