Question

Question #a70c7

Answer 1

"this answer..." is missing so no specific answer is possible; see below for generalization.

Explanation:

A `color(blue)("conditional statement"` is a statement in the form `color(green)("hypothesis")` implies `color(magenta)("conclusion")` (`color(green)p rarr color(magenta)q` using common logical symbology).

The `color(red)("Law of Detachment")` says that
If
`color(white)("xxx")`the `color(blue)("conditional statement")` is true
and
`color(white)("xxx")`the `color(green)("hypothesis")` is true
then
`color(white)("xxx")`the `color(magenta)("conclusion")` is true.