Recent content by sugars225

  1. S

    Undergrad Steps for Solving Symbolic Logic Proofs

    Can someone help with this proof: G→(PVE), P→N, E→C, -(NVC) ㅏ-G This is what I have done so far 1 (1) G→(PVE) Assumption 2 (2) P→N Assumption 3 (3) E→C Assumption 4 (4) -(NVC) Assumption what do I do if here?