Using the implicational inference rules the equivalence rule

Using the implicational inference rules, the equivalence rules, and CP, derive each conclusion from the premises given.

Using the implicational inference rules, the equivalence rules, and CP, derive each conclusion from the premises given. (B v C) A A (D middot E) B D

Solution

B v C -> A

A-> (D and E)

Thus, B v C -> D and E as p->q, q->r, => p->r

B-> B v C as p -> p v q

Hence, B-> D and E

D and E -> D as p and q -> p

Thus B-> D