Modus Ponens

From PKC
Jump to navigation Jump to search

Modus Ponens(Q655742) if X implies Y, and X is true, then Y is true.