Construct Proofs, using Implication Rules of Inference terms

/in /by

Construct Proofs, using Implication Rules of Inference terms of LOGIC

    1. (P&Q)→R
    2. (P&R)→Q
    3. P ∴ R↔Q

    1. ~P&~Q
    2. (P∨Q)∨(R∨S) ∴ (R∨S)

    1. ~P ∴ ~(P&Q)