" therefore arrow double arrow ":." or ". :" (colon and period, in either order) " (dash + greater than), or simply ">" (less than + dash + greater than), or simply . conjunction (dot) "." (a period) V disjunction (wedge) "V" (lower case letter vee) Construct direct proofs to show that the following symbolic arguments are valid. Commas mark the breaks between premises. 1. F(GH), ~FJ, ~(GH) . J 2. PQ, RS, PVR, (Q v ~S)-(~T v ~W), ~~T~W 3. (AVG) K, K(BF), A.B. F 4. ~C(FC), ~C.: ~F 5. (CD), CS, ~DT SVT 6. (WU)X. ~U~W 7. ~~T VR, ~(Sv ~R), (T.~S)~Q, W>Q. ~W 8. (JL), (Jv ~L)~M, ~E v (MV ~S).. ~(SE) 9. (BVA)C, BD, ~D. C 10. ~(ON), (OS)(~NT). SvT 11. MV N. ~N~M 12. BC, B. C 13. (ZvY) (Z v W), Z~~U, ~Y(WU). U 14. ~U~B, S~B, ~(U~S), TvB.T 15. AB, BC ~AVC Use Conditional Proofs (CP) to show that each of the following symbolic arguments are valid. Commas mark the breaks between premises. 16. P (QR). Q>(PR) 17. P Q P (Q v R) 18. (B-D)(C-R), D .. B-R 19. (ZW)(X-U), Z(WY). Z(~Y-U)