Question 646706


The Law of Detachment states:
If a conditional is true and its hypothesis is true, then its conclusion is true.
In symbolic form: if {{{p -> q}}} is a true statement and {{{p}}} is true, then {{{q}}} is true.

you are given:

If two lines are parallel, then they do not intersect. (General conditional)
 Line {{{l}}} is parallel to line {{{m}}}. (Specific situation)

What do you think? Does the Law of Detachment apply here? We have a general 
conditional which is true, but its conclusion is "Line {{{l}}} is parallel to line {{{m}}}"; so, the Law of Detachment doesn't apply here (right conclusion would be "they do not intersect").