- Therefore Or Colon And Period In Either Order Dash Greater Than Or Simply 11 1 Arrow 11 Less T 1 (214.13 KiB) Viewed 18 times
:: therefore ".." or ".:" (colon and period, in either order) (dash + greater than), or simply ">" 11 1 arrow 11 (less than + dash + greater than), or simply 1 double arrow II "." (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>( GH), F>, ( GH)..] , 4:: ) 2. P→Q, R~, 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). X.: U+W 7. WT v R, MS v R), (T.~)~Q,W+Q::~W 8. “(1-L), () v L)---M, E v M v S) :: ( SE) 9. (BVA) →C, BD, “D::C 10. -(O.N), (0+)-(NT):: SvT 11. MvN ::"N+M 12. ~BC, B :: C 13. (Z v “Y).(Z v W), ZU, Y→(WU). U 14. “U+B, SB, (U.~S), Tv B::T 15. AB, B+C:: AVC