- 11 Therefore Or Colon And Period In Either Order Arrow Dash Greater Than Or Simply Less Than Dash 1 (266.71 KiB) Viewed 34 times
11 .. therefore or".:" (colon and period, in either order) arrow (dash + greater than), or simply ">" (less than + dash + greater than), or simply 4 double arrow . (a period) conjunction (dot) disjunction (wedge) V "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>(G>H), FJ, GH) :: J 2. P→Q,R~S, P v R, (Qv~S)--(T v~w), ~~T::W 3. (A v G) →K, K+( BF), A.B.: F 4. “C+(F™C), ™C :: F 5. "(CD), “C+S, DT::SvT 6. (W™U):~::U*~W 7. WT v R, (SVR), (T.~)Q,W+Q::~W 8. “(L), (^J v L)--M, E v M vms) :: ~( SE) 9. (BVA) →C, BD, D::C 10. (O.N), (0-5)-(NT): SVT 11. MvN :: N+M 12. ~BC, B :: C 13. (Z v~Y)-(Z v W), 2+~~, ~Y+(WU) :: U 14. “U+B, S+ B, (U.~S), Tv B:T 15. AB, B+C: 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)(CR), D: BR 19. (Z.~W)+(X.U), z>(W+Y) :: Z-(~YU)