logic exercise 45 – writinghub.net

==========================================

[45-1]

      C:    ~A

      ——————-

      1:   A -> (B & C)

      2:   ~B

==========================================

[45-2]

      C:    C

      —————

      1:   A -> ~B

      2:   B V C

      3:   A V C

==========================================

[45-3]

      C:    ~(A V C)

      ——————-

      1:   A -> B

      2:   C -> D

      3:   (B V D) -> E

      4:   ~E

==========================================

[45-4]

      C:    ~(P & Q)

      ———————-

      1:   (R V S) <-> P

      2:   ~R

      3:   ~S

Writing Hub