Show Summary Details
Quick Reference
In logic, the rule allowing inference from a formula A, and another read as ‘if A then B’ to the formula B. Another term for modus ponens.
Subjects: Philosophy.