Your browser does not seem to support JavaScript. As a result, your viewing experience will be diminished, and you have been placed in read-only mode.
Please download a browser that supports JavaScript, or enable it if it's disabled (i.e. NoScript).
In [mathematical] logic, the Law of [Detachment] says that if the following two statements are true:
(1) If p, then q.
(2) p Then we can [derive] a third true statement:
(3) q.
Share your knowledge with the community
Browse our collection of 300,000+ community-written definitions