Define Modus Ponens.

Modus Ponens is a valid and fundamental deductive argument form in classical logic. Its name is derived from Latin, where "modus" means "mode" or "method," and "ponens" means "affirming" or "asserting." Modus Ponens is often expressed as the following logical inference:

1. If P, then Q. (P → Q)
2. P is true.
3. Therefore, Q is true.

In this argument form, the first premise establishes a conditional relationship between propositions P and Q. The second premise asserts the truth of proposition P. Given these premises, Modus Ponens allows the deduction of the consequent, Q.

A concrete example helps illustrate Modus Ponens:

1. If it is raining (P), then the streets are wet (Q). (If P, then Q: P → Q)
2. It is raining. (P is true)
3. Therefore, the streets are wet. (Q is true)

The validity of Modus Ponens lies in its adherence to the rules of deductive reasoning. If the premises are true and the conditional relationship holds, the conclusion must also be true. Modus Ponens is a cornerstone in logical reasoning, widely used in various disciplines, including mathematics, philosophy, and computer science.