For each of the following arguments, use the STTT to determine whether the argument is valid or invalid. For some of these arguments, Steps 2 C , 3 C , and 4 (i.e., the C-Sequence) will be most efficient; for some of these arguments Steps 2 P , 3 P , and 4 (i.e., the P-Sequence) will be most efficient.

(P₁): K ⊃ (L ⋅ M)
(P₂): (L ⊃ N) ꓦ ~ K
(P₃): O ⊃ (P ꓦ ~ N)
(P₄): (~ P ꓦ Q) ⋅ ~ Q
(P₅): (R ꓦ ~ P) ꓦ ~ M
∴ K ⊃ R