cianfa72
- 2,784
- 293
- TL;DR Summary
- Argument behind the validity of Modus Ponens deduction rule
A question about the Modus Ponens deduction rule used in theory of proof within an axiomatic system. $$[(p \to q) \land p ] \to q$$
One can easily check the above is a tautology (i.e. it evaluates always True for any truth value of propositions ##p## and ##q##).
Now what is the logic argument that allows to conclude/infer the truth of ##q## assuming True the truth value of propositions ##p## and ##(p \to q)## ?
One can easily check the above is a tautology (i.e. it evaluates always True for any truth value of propositions ##p## and ##q##).
Now what is the logic argument that allows to conclude/infer the truth of ##q## assuming True the truth value of propositions ##p## and ##(p \to q)## ?
Last edited: