trying to derive the conclusion
I did eventually work it out by assuming B and C to be true, after which I was able to show that D must be false, which allowed me to Eliminate the D v A disjunction showing that A is the result either way. Therefore I was left with C==>A which proved...
Hi,
Really struggling with this logic problem, would be very grateful to anyone willing to help
A v D
(~B ^ ~C) <==> D
B ==> ~(C ==> A)
---------------------
~B
Thanks in advance
Hayden Kee