Overview

detachment


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.


Reference entries