Modus ponens, means “method of affirming” in Latin, is a form of #202206101739 which the conclusion is an affirmation. The form can be seen in the following:
$$ \begin{align} &\text{If } p \text{ then } q \\ &p \\ \therefore \ &q \end{align} $$
It can be proved to be valid by examining its #critical row using 202205061151.
\(p\) | \(q\) | \(p \rightarrow q\) | \(p\) | \(q\) |
---|---|---|---|---|
T | T | T | T | T |
T | F | F | T | |
F | T | T | F |
F | F | T | F |