Derivations

Complete the following derivations. You may use the simple rules (S, ADJ, MTP, ADD, BC, CB, DNE, DNI, MP, and MT) as well as the derived rules (NBI, NBO, DMDC, DMCD, CNC, NCC, SCA, SCB, CDJ, and DJC).

9.6 pts

1. (R Q), ((W Q) T), (T R), (P (S W)) (W P)

2. ((P S) ((S (Q T)) (T P)))

3.((P Q) (R Q)) ((Q P) (S R))

4.((Q R) P), ((R S) (W Q)), (Q S) (R (P W))