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

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

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

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

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