Recent content by Ejayrazz

  1. E

    Solving a Symbolic Logic Problem: A V D and ~(B ^ C) = D

    Perchance someone here has some background in Philosophy, specifically symbolic logic? For the life of me I can't figure out the following: A v D (~B ^ ~C) = D B => ~(C=> A) ~B What I have so far is this: 1| A v D ......P 2| (~B ^ ~C) = D ....P 3| B => ~(C =>A) ...P 4| |B ......A...