Derive each conclusion These are short but they represent so

Derive each conclusion. These are short, but they represent some patterns of derivation that come up frequently. (Use implicational rules and equivalence rules.)

Solution

5)

~(C->A)

Therefore ~(~C or A) as p->q=(~p) v q

Hence, ~(~C) and ~(A) as ~(p v q)= (~p) and (~q)

Thus C and ~A as ~(~p)=p