Solve Using the four basic inference rules ONLY modus
ponens, modus tollens, Double Negation Introduction, Double
Negation Elimination, and using direct derivation or conditional
derivation or indirec
(P→Q), (Q→ R), ((P→ R) → (U → S)), (S →T) (UT) 1. Submit 8.2 (P → (P → R)), ((P → R) → R) – R 1. Submit
8.3 T, ((RT) → ¬Q), ((Q →S) → W) + W 1. Submit ¬(S → W)), W H (