which of the following is a compound proposition?

;*e`f8lo"_'(&H2h& a truth value of a compound proposition is determined by (i.e., is a function of) the truth values of its components and by the logical operators. 2.229 0 Td (alen) Tj 1.043 0 Td (\\if) Tj KR3=7&T6Z6phEbT0"F^/he^sEb/ZiDf0B:+Co%q$85.mFD55r+=KTqE-ZJ=ol+>>E%0JO\(+>@(DEb/ZiDf0B:+C 1.686 0 Td (follo) Tj 1.277 0 Td (q) Tj 'E^aNd6Tj)h)0qJ!hK/$o$YHV"*'Z\MGmH^p#$83/`=kaau$aYl[=sgf*ldl=J-"[rFUqJWq$9T^WF?/1L?L /Length 52 0 R "`K2\5@[VZ'6'ufdWW2iKE&bSqdD[27ECO;fS$+fVj".kW1n'OVr] /FirstChar 0 =4NObA3:H\"]bj7AYE95^@+h:fpg,3]]aI2lWtj5? /Ascend 705 ^O^MpuiT@Y/8jGXPsn'P3A4b<0d&X?Xsm-\"SnN>HiMNM+C@QJ0lFUCauP4`u(3=G=q"@QY"host:8 Ro4T#_XsULr+J]t$jPjL3QLIRf8UB&>M5T`&cj+9N'4ito\Wtu9%!QQ^2s5-k]!+p%!ZUhg!LLp>BK 9+/F2^).rCRdY`b`V<>'!Pu_Y6p(Mb@?.k-@@(fng"bF3iD-n@d"O8[.JmYt_GkVPORcJJ4WW;^1j! [INp)ljXga5U`/sq&TTrC[I-XOIPtT?uGhqc7I?ktSW-j]3H1T!1A.$eIqdgLens>V:gpHhiH``,pV!t 11.96 0 0 11.96 0 0 Tm >> Either x is not an even number or x is divisible by 3, but not both. This is why, if both propositions in a biconditional statement are false, the statement itself is true! 2.513 0 Td (prop) Tj 1.327 0 Td (> /ProcSet 4 0 R >> .>ET+1/-;cL8&E@ZihJOk7\=S6Zu4bdi*GQr,SnH,L;_6h_@1lCXY!+Ou$=QV'=s]Z8EOZ`UW=S><6p]ZRcu:U?6,sY+,,0(kM*8@e,P/#ApUh_$>OlN(Hpja\R endobj BT 24.220 52.069 Td (T) Tj b[L6f^T%U0[dtAl)2Ogh:klkaQjV)4ODIq=2' KR3=7&T6Z6phEbT0"F^/he^sEb/ZiDf0B:+Co%q$85.mFD55r+=KTqE-ZJ=ol+>>E%0JO\(+>@(DEb/ZiDf0B:+C 201.6 442.56 m 202.005 442.56 l 202.005 456.51 l 201.6 456.51 l f 0.768 0 Td (!) /Length 53 0 R 1.793 0 Td (wing) Tj E^jI'>i)XnMfK2B'g"(=\! hBPf/=Y! 18 0 obj /F1 1 Tf BT JavaTpoint offers college campus training on Core Java, Advance Java, .Net, Android, Hadoop, PHP, Web Technology and Python. :S"Jc*Yqo[Z56HV6;8IWdWN+HU ."[X3\JNuB_jK0j%!Z4cpKo,R*KE1Mn\!?Pt^$-s3(jQrED!V;2^e+1lP/.=. P4"K8]\n:6H_CGgt-QsT"AV]CR7MX@`5C9n86g+BoV3VAsh58amYY&CQW.,amLrg!MeF@DMJ_Kn%4./7WC"7c(GGa^2q)ZUYEC33gf7uN^aUl/C?bV. << 2.465 0 Td (Y) Tj /F1 1 Tf /F1 1 Tf B5(jaCi=>:E-670A9Di63B/-7Ao)C(Ebo7>CDf9Z:BkM+$+E2IF$=n9u+>G 2.941 0 Td (are) Tj X&h?b)gPD/==D6a]qt$bk\iffQqdeQgXngdek=*7n/6Vt(3'YG[Hh)QPStl%)"!M^B?.RGPET[mp>G 2.311 0 Td (ound) Tj /Descent 15 A&Y7+!4<8_f71dKE4SFOMF[bcn=I5),>iR(K_;"a"F3O66q*;%ob9j8Dm`Qi 3 0 obj /FontFile 37 0 R /StemV 20 *F`[t$F`8H\2]sbbG\M5@ASuU(@;I'*F`[t$F`8H\3?TtdD/aTBF(KG9E-670A9Di63ADX0F`(o3DB tbUA?8rb^@'7F_L1PPg.o0=m-J((bqBNVR9[@k_r ?c2=2KpCGQ/6F-)lLY&(/;=6NGJLPCVqEfuWWLn1PYsZ0'/>%^#L"l5@JI!X\3[*-*p>X /Widths [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 500 0 1000 0 0 0 0 1000 0 0 1000 0 0 0 0 1000 667 0 889 0 0 0 556 556 0 500 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 667 667 0 667 667 0 0 444 444 444 444 500 500 389 389 278 0 0 0 0 0 833 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 778 278 778 500 0 500 778 778 778 778 0 0 0 778 0 0 500 500 0 778 778 778 778 778 0 0 778 778 778 778 0 0 0 778 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ] Q q Tj 'CCPmU,nc$`B0sRXdHp`SQ./Gd5LQH-17dp$t;/D`&Jf :r8Df"qCB>/3I1e2\RFP.=\YtP]Z6(0>ma,UBhXn0'P[_$bM7_.g-l9U9_am/C65LI1aMMVXk,StI0>?_hrYp`d@d:Lc"RSqm /FontDescriptor 32 0 R ::m>[q[mlKC1PCeC$/F(7;(!qj0R<2"^W* /F4 1 Tf @beq06Cl=Eb/j$Eb-A4F`[t$F`8H\1*A5hEb/`lA7]h#E /Length 45 0 R /F1 1 Tf /FirstChar 0 2016 will be the lead year. 1.679 0 Td (logically) Tj ? endobj kp3$9knBcqA;F:)Q$E$-kp3?TtqBQ##4F`[t$F`8HX3A;R/F(o9(@3BN3F:)Q$E$-kq1E\>iBPAT.F /F4 1 Tf :j3jUJ1fO\IX/%0>a&D7gMX[f.EU79& Which of the following is not a proposition? >> /Type /Font /Length3 532 2.020 0 Td (follo) Tj It is a contradiction. W?t$PtjM@3fhl"%ud3T4$sqj=L'>dahUgJ"M:%@s/@ /Flags 4 ]ccq*sm5Y%Ldka0XJWDQs`0`@f/OH-HCI"f^V4bS8lI@9bhi!Hi?QmNs;&t:#80Vup24f$ t'gPXEif6:uUJ'#-#Ne!nE?$5M=Zk2=-`j,+"DPZf:i. endobj /F5 1 Tf @IcUn,]UE\T[>1SplYbX$F$dfU*$o;oLe$k_rF*+VO#rhX#5fI2+pghrRY4q\"fcK+-sQNSEBe7(YUcAkZaSjge>,>Okdh5/4kQS"OG:rfX5E 2.055 0 Td (PR) Tj 11.96 0 0 11.96 0 0 Tm 17.806 10.203 Td (erse,) Tj !-JbhE\s9^7X"%-M:k66AE"*l8ZT0;\CJSkUk`eiQOXHJ)K=UI3B=S32TQ]')(*nN#0p2$e_O=^iB) /F1 1 Tf << -iG/3d!C`i!JG)6b5^DC"2gh\N"HrZB>#WHku]H's/6K,\4sE@.1Zh1$ah//Y+%#"GBYrr-9cS*;i> /LastChar 255 Q q Z@>%d1Inp`:'!Ec?Re?7@I=$fB_A2VlP)XNi]<6"6U4V>-c.[eD/ZWhrf,1q5'>>lj%G6X7hQhquG2 stream Q q BT &6MBS:`O$.buj/lg9\DfW7LDp#86CI*[b55X+EZ@TY7@XDua7($l.74rAdT"#**2amh-C4W[t]I&pg ?/8o4)N*VV$[$S"1Tr6-Pd@, 164.64 428.16 m 165.045 428.16 l 165.045 442.11 l 164.64 442.11 l f /FontName /CMR9 :bG54lM7X7o?K\ugn=@81nKR826AW\HZdgi/T"d2>86V710_kaD /F1 1 Tf /FontFile 37 0 R 412.32 456.96 m 412.725 456.96 l 412.725 470.91 l 412.32 470.91 l f QBrJ%62*rAH7O]i$JiN,l`%)eS1]\.1O%+*iTiX9R$Ha[K:;pe7maDGRG;N2hbA!VQdd0YF@l@g[5?. 19.093 52.069 Td (T) Tj /Length 51 0 R ET Contradiction: A statement which is always false, and a truth table yields only false results. $P`%)o4?j@NI%KoeU93j(]dSIJ.9f[PF3U$b7Cok2b\1N)Cign0P/ud[kS/B`gpgWPb6'5gLrC 0.921 0 Td (q) Tj *&"@:X:oCj@.6AS)9&7W30d6:,U8HS%!5+>#T30H`))0fC.52`6#(ART+fDJXS@A7]? Q q ES)?8b0=96]=ZL"s@)ponP8?br_DL]oB64ac7(GQ"?JRPeA!_+0p7c1/NTA>6NCgXX3khMQWm-S*M^pS; ])+[9k<7b"Qls"1^8% 11.96 0 0 11.96 0 0 Tm 34.928 47.459 Td (other) Tj 37 0 obj [n[LYLKP&asnWkIoG,gOA BUYTj>`RNfY5`LS`tD3r6o!^2`ondTS:]N^[>YjlqVn`up!,,.X`-"=@6iASY\KPHMO?C+(9FeDGN] BT ?h`(,9Y(!j@"^shX;p.eGgfeX_&;Jj7"n1Fj@TKMZDjS)_Z;"I*Ao$;af"<6-jbr_1 >> 3.612 0 Td (ha) Tj A proposition is a statement, taken in its entirety, that is either true . 26.502 44.974 Td (p) Tj 'E^aNd6Tj)h)0qJ!hK/$o$YHV"*'Z\MGmH^p#$83/`=kaau$aYl[=sgf*ldl=J-"[rFUqJWq$9T^WF?/1L?L stream @^=rf/A;hBS+`?%fF[u(mH*D8fDrn05@fhbZQe:PYEY*REPsj?/cdIqHj#5lXAXr 1.151 0 Td (al) Tj mCf+,Q3%#jjK8@KZZ;$0UGY>:C!IEp#]3Utdi>5`&MGg_sVWb.DY%"5RN&&,@R&q,*qqcAhWT%r1[R/TYD "! /BaseEncoding /MacRomanEncoding 16.048 50.870 Td (F) Tj Q q =tUqZKPKLdLU,C[B,oEp'+9^9e)3fmgP?VnAr$:NZFK?\MJ]8HbsM7ks@m8JS@o! j8I;0hV\6E&hAh5(2c.O1($ZE`n4f4B"/K:NEQ"3L=ARFEZ=\Y5+S@f:YM%G1CXbFXCNYRb 11.96 0 0 11.96 0 0 Tm /F1 1 Tf QhTk&s&^%gJj8Z?fK]8.Y;4c2+JE`jS-s94j7agNh)eiJIB@7Y,rAC@8@O%V(a;WPo4uu.8n%Eol%. 37 0 obj /FontDescriptor 40 0 R 11.96 0 0 11.96 0 0 Tm [01 /FontFile 41 0 R /Type /Encoding 3.695 0 Td (if) Tj Convert from symbolic notation to words: -670A9Di60ebU105VhNF`[t$F`8HX0ea_'DBNn@F:)Q$E$-ki0d&,f+E2IF$=n9u+>GT++>7[VE-67 /F4 1 Tf /ItalicAngle 0 2.782 0 Td (F) Tj /F1 1 Tf go9!kHG=oC;uJr:u8( Explain. throughout their Academic career. 446.88 428.16 m 447.285 428.16 l 447.285 442.11 l 446.88 442.11 l f 1.795 0 Td (b) Tj /Widths [ 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 272 490 326 326 816 326 272 381 381 326 762 272 326 272 490 490 490 490 490 490 490 490 490 490 490 272 272 326 762 326 462 762 734 693 707 748 666 639 768 734 353 503 761 612 897 734 762 666 762 721 544 707 734 734 1006 734 326 326 272 490 272 326 326 272 490 544 435 544 435 299 490 544 272 299 517 272 816 544 490 544 517 381 386 381 544 517 707 517 517 435 490 979 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 612 816 762 680 326 734 707 762 707 762 326 326 707 571 544 544 816 816 326 299 490 490 490 490 490 326 435 490 707 762 326 326 993 762 272 490 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 326 ] Conversely, if two lines do not form a right angle, they cannot be perpendicular. ^[LU`CL5DO\STO:e;8%)bkHrrXZR07-S-\KCZ@U1C2rV+07kZ/EKs4k/(:+A_l2,SP, Uh/hk+jNc#-Balf^%-U6+BJL?`nh!t[JNHV6m]JsVP#k!DmP.&/c1#hM5Mk#D`?NoOBHa]='Ukohg_ 1C@Z-:V,l^GP:#t@1+o:05.0uS:/+2@$1]>.H"05X;#*dQ'.SmOC='WP,5%8QM:i-,87H?#C&YQN>N [01BbgDe*R"B-8re2BZFKEaa5#0H`(m1,Up3HSHXWDId='+D#e-BHSr\DJsW- 11.96 0 0 11.96 0 0 Tm ET &/0TX7&I`39%7"E@p_kXLK3MsYb:c);5U]=5c>5(9tc/mN? F`[t$F`8H\0d&,kBQ@Zq+E2IF$=n9u+>kns04o-FEZf=DF:)Q$E$. /rrghrW+Tci/(?RfW`L8@Jj,U8t;2>!&MYEk!6gYY@S4*^o;+#c7Jf(P\s\DMqNC1Oakq"K-OUFfg5 b":*(2Q&ikDA+"(hDK]IF=Y-0QAt/(Ots@ZgP)A9C]T_n[&uW (8/n2VtT[aag?nQ+Fta_Z!LC'oqPi,jG[oIWT:ju XS/Y2frfRp0edRoI7#]SWrD6KJj`:jAlFoB1B!N+YS5csYrpb?H,OUP"I^"@U`G,E\jfO(:*5LDFQD /Ascend 0 342.72 399.84 m 343.125 399.84 l 343.125 413.79 l 342.72 413.79 l f Q q 11.96 0 0 11.96 0 0 Tm /Name /F3 BT Q q 219.84 399.84 m 220.245 399.84 l 220.245 413.79 l 219.84 413.79 l f Which of the proposition is p ^ (~p v q) is, Let p denote the statement: I finish my homework before dinner, q: It rains and r: I will go for a walk, the representative of the following statement: if I finish my homework before dinner and it does not rain, then I will go for walk is. These make more sense in English: 2 cannot be both even and odd, after all! 11.96 0 0 11.96 0 0 Tm 165.12 413.76 m 447.234 413.76 l 447.234 414.165 l 165.12 414.165 l f KAL=@or*j^@VdX/HabK-0iJ1.G'op#6[60)7?=cn6CQ=K@P"%HH>-)sb!.GEWM0EV,->9iGJ;$cVO\0uK*2c /F5 1 Tf B"mp#R`F^D"sXrL0g^J49I(DH-EF`kc/ame"g9g*/9eAY%CpOr2gU-19.O$mn9u%8`=]le^&Joh)!) /F1 1 Tf 1.327 0 Td (q) Tj ]#`<>&caeAS+4N4YkB8F&ChWj=a;i,L`=-=?HbQ]3r"lTGk[DUM+Z1bq^a^/&. 11.96 0 0 11.96 0 0 Tm /F1 1 Tf A contradiction is a proposition that is always false. BT 1.119 0 Td (the) Tj Q q /Widths [ 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 272 272 762 490 762 333 333 734 744 701 813 725 634 772 811 333 333 833 666 947 784 748 631 776 745 602 574 665 571 924 813 333 670 333 333 333 333 333 333 514 416 421 509 454 483 469 564 334 405 509 292 856 584 471 491 434 441 461 354 557 473 700 556 477 455 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 607 816 748 680 333 811 766 571 653 598 333 333 333 623 553 333 434 395 333 483 456 346 564 571 333 333 428 555 505 557 333 333 580 613 637 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 ] 9A@nFB.EI@Qi=h6VL_)h(4nc>,^g1UH]Qg7aTkC\Uen'O4L!t. 1.087 0 Td (represen) Tj LfCMb:$R[1;EM^Qk;A$pa/M*o"*[ BT /Flags 68 nn+AN=kc:W-\k3RoOuZ*I(sb]/FO _p"a$$0YR^o8-ZoDQ.(DrZr&OtJ"t2*X@W_-T=:47>Ql11;'JjPH6KOQWUh#e\cAgQ7co/\eM^caY. 'fp5E5,`pBC'G)n&mWH\?mg(3?m-0:%KtE=FhI"XAK'mEib@qO=+9HI9;u"P7Cjl@6A2s 11.96 0 0 11.96 0 0 Tm /FontDescriptor 36 0 R @ >> *tgsHY6bB!WPLLI/0o3)Q5s./r$ae)UL*@jV?NkHt^[P6]N_8M0 9_Gg$P3u'bhSU;p&FjLfraZ]KX1J!r)nri'lY\;5?O5W*C-LM00JT NWcK\!Jt'(qT;NN=9SQp[T;Dl\>Fblh4Kk-ng0FsT]#d2tSMr>2tmlNQf#U=;10A*$FE7Qb0B)!UI^5c%gME9^Jb=mZQ /F3 1 Tf '/)l#j>`4?iH1%k:5-Z*N',(SEMCcKeT+=518RE 'b3/3Q*g]J7s,FscZB7jTa>"f7)O(4CPfo(BGJQU]>)&`@f3UU7GDuplfmc'*'JCn_s&jr5d' NWcK\!Jt'(qT;NN=9SQp[T;Dl\>Fblh4Kk-ng0FsT]#d2tSMr>2tmlNQf#U=;10A*$FE7Qb0B)!UI^5c%gME9^Jb=mZQ MnIH*hMF*36Vs?hciCa+@@PYgc+5%rESFQ/.fuM&:g+A@T/Q9 16.048 52.069 Td (F) Tj l[bX)5u)W%B>aj)+n\ZTLjR=/\o$U;=`k>T!=B&K^qn /FontBBox [ -30 -250 1026 750 ] 194.88 264 m 195.285 264 l 195.285 277.95 l 194.88 277.95 l f c$Fld'\pQ"X\Lm(8qg)G\e#V;Orh;9S8@l_eJ\Fo!.8hBW9n^D\HaGntG'J0UJl^b-XK >]]mpMaNe-8D_o2&Vk^YQ60#lfc#2I8&b?OeW`\kU>XJDrUI,.W+7ndaooNWH. /CapHeight 705 c&aqN4RA,a2qHY\&%;W.3AZbDgjm\Z4N.kfdH?'] >> 0.700 0 Td (gic) Tj << << ET 0.713 0 Td (Y) Tj XS@A7]? /Type /FontDescriptor Q q 165.12 428.16 m 447.234 428.16 l 447.234 428.565 l 165.12 428.565 l f +>7YNAKYr7F:)Q$E$."p+>7eMGT^sJF:)Q$E$."q+>7eIG%GP6E-670A9Di62)cX2DJ=! 38 0 obj 0.489 0 Td (erse) Tj [rOT\N*Im&lYSbn?5OmtHO_Bj$h.gT9@='LhZ)tj[N2`aX%7qNV*.JW30>C+8 ET d+E2IF$=n9u+>GQ.+>7IPE-670A9Di60ebO/05D\LF`[t$F`8HX0K:1.C`m\>F:)Q$E$-kh3?Ttl+E Tj Example, ^[LU`CL5DO\STO:e;8%)bkHrrXZR07-S-\KCZ@U1C2rV+07kZ/EKs4k/(:+A_l2,SP, Zpr^-W=077/[U7%g0&>9;! 1.342 0 Td (exclusive) Tj 3.186 0 Td (then) Tj 1.390 0 Td (John) Tj '/)l#j>`4?iH1%k:5-Z*N',(SEMCcKeT+=518RE 0A9Di60ekI,06&+RF`[t$F`8HX0f1"+EZf=DF:)Q$E$-ki2'=Pn+E2IF$=n9u+>GT/+>7gZE-670A9 6.115 0 Td (or,) Tj S(#]CO?ia&Yh^frG)/Gqs#4kN:8)a#BAYMLS_*5.3j"meGT!Z40!o+ Dg,Z/FD)e9F`[t$F`8H[0d&,XEcQ)BA7B@qBkM+$+E2IF$=n9u+>bnt04AmADg,`$Cgq=)BHV8:F:) Q q ?/8o4)N*VV$[$S"1Tr6-Pd@, Statements or propositional variables can be combined by means of logical connectives (operators) to form a single statement called compound statements. :7&:J!lU($\a*M;= /F1 1 Tf << /F1 1 Tf a*GPoge2ebfl5`k_m]1HnRr_.Y,D]dULX,QACV=QcMqA7QXd$o 1.689 0 Td (con) Tj ET -Sg>T\/Hsnd-?#^0P[oWSjgKDk1K5J`[WMDn3SpqDAgaa7*9kN(1h>f;XU-7;<0uUd/G\-4E;gNLAN We also acknowledge previous National Science Foundation support under grant numbers 1246120, 1525057, and 1413739. _;!S/PV,`c=H=1noPi_56\JtLB-ZT\h]BBoLb5h"dVg(8h2AMO#f.HVdn"Ur[;WJK'[?9=!)<7XR;! 219.84 456.96 m 220.245 456.96 l 220.245 470.91 l 219.84 470.91 l f QkTr,l;u>U!p3!ehN9[V86d&l]i+D%,'0CH[PXk`&G>(To:L3lUrP3[ba`;eYHnI!QTG3h1IJ'6nCH /F1 1 Tf /F1 1 Tf /F1 1 Tf 15.189 22.404 Td (T) Tj 1.204 0 Td (except) Tj 11.96 0 0 11.96 0 0 Tm ko`a6RZ,EIOH2[Yj4tndYRpW#l5CJ```![3'GI$!mB%cUN*ePhYThtpg1:)Ae! 2.835 0 Td (true) Tj 0.987 0 Td (called) Tj CNE-670A9Di60ebI-052PJF`[t$F`8HX0K(%,C*7JGQ0+>7ORE I=2JJf4GPD_i/KXH;(AFKL\'$VHh&Gj$g`AjZUm%r@&]XV34Lj`]*t9\Z_tJFL^Si4`phc54K2cB"h kX2R;'GfTl`ol-8=(.p3N\V.L4hHbIbODZN<=r3,KqS'4ruhTRngCBALC67EMuN\@]"ZBH?2fc@NALn VkC9NEr)cB-\bcnP0[dRCl%EW9! j%)Kdp^tjGWs2=o/(`a`8(]]sKMBd'nLT/ETM.mOA3m4+H110O/n>@nm:oRZE8>bke`]8WuU=?e0L+ Tj << 21 0 obj IF$=n9u+>Gi3+>7PBF)to4F^])/E-670A9Di60fV!405#F:)Q$E$-kp2]sbpB Q q [hKRpo9p0nOL`oBW@bS[h/HtO!T?hB!6qteA#]4MHOIS52 >> /F1 1 Tf :po47o87']?7\=9hXR?M7=S(U2AKlI[J+8-c1GcB*Ms".NC\rOqqS_0k>HWtnRTKm8N Q q ;RgBK"Efgb[X/H;ci]nj=p4b1R](@KHto6PdVMr98Q&&IQrkEpn:0DjY#c^$cmF1q[nP#,r4R, Q q /F1 1 Tf 21.316 54.468 Td (T) Tj endobj P6>P$X0kAkjh?3X## /F4 1 Tf @d\PO%N-^kI>=:ECeRP29S5Q)SD.Eh3#Y!5"u#OT'*qg_C!S@0u4kY,=t/>j_LVK#\\t9/DQ4`#q"4 0.862 0 Td (of) Tj BT Q q /Outlines 2 0 R 385.44 618.72 m 385.845 618.72 l 385.845 632.67 l 385.44 632.67 l f ])+[9k<7b"Qls"1^8% 11.96 0 0 11.96 0 0 Tm 1.794 0 Td (c) Tj 9^]MGlmho2k\l'YP#h?Ndj8. 0.607 0 Td (De) Tj Ir#YH#!ZZ&fn*9#`,=qGT`jND0a1U;:i:,5QN*eWcMd$4hqOf,clL2e-O`PLdMpkL3#'Z:Zcf=$Aku 0.517 0 Td (y) Tj 11.96 0 0 11.96 0 0 Tm Q q 19.127 54.468 Td (F) Tj kM#^7`Z4H1b8R2@m69^! BT A compound proposition is said to be a contradiction if and only if it is false for all possible combinations of truth values of the propositional variables which it contains. "DE.FA9T``XAM_:YZEbQ0,8=f$G,9H+Uda^#CRJ0A$npb!delo3+PMY_oY;QL`QffulO?BaC<0N;lS X2`)X1@;Kmr@3BN3F:)Q$E$-ko2'=P]ATV?'E-670A9Di60fM$604\X1FC? "EW4CA(IqpG\YA43^,GuF@-MH(Bm3M "jeZNR,-.B)`5=Q?uZBjbMsIf: -14.024 -2.582 Td (A) Tj 0.828 0 Td (the) Tj ,OB$=SJXDs4#qS!PZ?3jk""?$mUpd:?&PKFsW1n]glE3R4_PF1#1,,/X3ltECH2q^9E;)139fuI0-L s4p4e:n0(lhPY[A]8oSfS+8K. >> A contingency is a proposition that is neither a tautology nor a contradiction. Q q P4iT*! \>.3b"_H+=ETC[Ia`G-UW]8]u0Rl"\r.q^*Xh'5d;GVl_bGVn6nZ.Xu#pu;==8bq>hU7FMh)LZ>Xqu;Qd*IEFbmp=_Cq$'uEf#K=K$g>I.MZU$il@%RR-RmnJTimmtX-Y>\%?qJFGM%1r[$Yad`rcJ9;)=O] Q q 194.88 235.2 m 195.285 235.2 l 195.285 249.15 l 194.88 249.15 l f .>ET+1/-;cL8&E@ZihJOk7\=S6Zu4bdi*GQr,SnH,L;_6h_@1lCXY!+Ou$=QV'=s]Z8EOZ`UW=S><6p]ZRcu:U?6,sY+,,0(kM*8@e,P/#ApUh_$>OlN(Hpja\R o%q$84hc@rGmlDJ((I2)ZRcEcPT6$8, 23t&Xs>`+D%Dn*HrS-d?I1,8 311.04 604.32 m 311.445 604.32 l 311.445 618.27 l 311.04 618.27 l f 11.96 0 0 11.96 0 0 Tm 24.495 50.204 Td (is) Tj 0.820 0 Td (of) Tj "k1qqd]h4GXhPjjIC635@mg>9GE`Q"=PVA:!-OHgk,]DrQL]W:(gT*^k>k.J24A&4l%_"4E.s0e";X ;*e`f8lo"_'(&H2h& )`/OGK&$7-ucEb/[$Bl@lW@'A+>Gl:0d&c)B-8r`+>Gc81H@ Q q Q q >> Q q 2.127 0 Td (or) Tj `;MnNiTq7"5bhmo4$Q_/D-Yb"k5O2Gu;%Rnpmhhh,&%8bT.YG7Yacuc$.Mo0&iN%\JhfOX6 BT /F5 1 Tf /Length3 532 endstream 71:R7i"(*gd)k@uh^$9I=AWdb:o[X4D1kmO0e0cL&,h-E8*2!9[+pA16I\?\e!ELFiH@eFT>V[V.%P BT VR*YA5Hu^@qZus@;L!r+Co%q$>"*c+ED%%A8c@%Gp$X/AdU1\Df0Yl@;TQu01/H58MMtCA7]? 1.903 0 Td (w) Tj BT 27.097 52.069 Td (T) Tj B"mp#R`F^D"sXrL0g^J49I(DH-EF`kc/ame"g9g*/9eAY%CpOr2gU-19.O$mn9u%8`=]le^&Joh)!) )`/OP0ea_*/hm\Z,su]a@4%DF@oTANCqg3B8l.DKKqBG@bf++Co&)BkM?,+EV:.+@0jUEbT#lDBMY^FD,6&@ -28.003 -1.166 Td (Illinois".) 20.982 0 Td (8) Tj TB5Iio/_pn80;7`B,d`rp*=sEEAQiQn"\#AN#'Y.4mSJk^qneND]!.9=N0tJi^Ar+7?JYZTeS+f4(' /F4 1 Tf :r Discussion One of the important techniques used in proving theorems is to replace, or sub-stitute, one proposition by another one that is equivalent to it. /Length 51 0 R 11.96 0 0 11.96 0 0 Tm It is neither true nor false. /FontBBox [ -39 -250 1036 750 ] 0A9Di60fLs404no@E-670A9Di60fM$604ng1+E2IF$=n9u+>Gf7+>7>=C`m\>F:)Q$E$-kp0H`#ZDf 3.834 0 Td (equiv) Tj ET /rrghrW+Tci/(?RfW`L8@Jj,U8t;2>!&MYEk!6gYY@S4*^o;+#c7Jf(P\s\DMqNC1Oakq"K-OUFfg5 A9Di60f_-704\d.Eb0#?+0d&J93$:. *kYc',a.L6ptqE88&6:2-fm'o5T^rJqWq/;h:7,oG<>)Hb[>USHO]t.r2;]K-2HN=sd$2p123t&Xs>`+D%Dn*HrS-d?I1,8 11.96 0 0 11.96 0 0 Tm The Three basic logical operations conjunction, disjunction, and negation which corresponds respectively. 11.96 0 0 11.96 0 0 Tm 9k2\Ll9"X$fi+11aa?6:D2TRdT]q>-'fmA'o7B1.=@rs7FpMX*lJV)(;30S6D?6&7G:nZP]d>.4l>. The assertion that P is logically equivalent to Q will be expressed symbolically as P Q. Then the converse of P is if q then p. Consider the statement Q, "If a closed figure has four sides, then it is a square.". %]`J<9dE\_^r_5j]mIR.AaS5VGSufM9UR5`_iW=UU*h>Od,m7;oWbqJtW2Ca@g;gWA@1eT;Sn3Ol 16.013 54.468 Td (T) Tj Q q 395.04 235.2 m 395.445 235.2 l 395.445 249.15 l 395.04 249.15 l f 241.44 661.44 m 241.845 661.44 l 241.845 675.39 l 241.44 675.39 l f endstream cmKWl10.\:n3`^Slq=Yc"FMG";>MMTNY>r$aT>R,-]I/pXAi`mZBB!3ca_;7N^$Ig-KD2Y]ES7%P9chjrr4e"s9X'5g?b6L^MJqK7O3O-p$FQMnZT>b)lH 2.776 0 Td (hyp) Tj a8@32l\SOcL4KA[h1.NT7%0Z'8"4Ej7Zc#foW#*kQd=L[p5HG!H6V#JMlj'-mUCA*,G-:7DL>3WFNT Q q A proposition is a sentence to which one and only one of the terms true or false can be meaningfully applied. >> t+d]_m*-9!VgUQ%7Qs^4\0/M2+>)^\[21/i#^r=S(R*`a(V+BHg9VGf 0.889 0 Td (q) Tj =V^+W.kjM6SrJW@rMlUsM0Mpdt3nhXZq[S0$mh -c*De"tE/$X>bAt_j]52'EmJV[+-`g!T\PIjS+g4&$t!^6:m;^]!3Gshe=Q3`:p)Otq3Yq@`7Xk\=N[s1.oRFh"3e"T[8L_$,P:X[-l:Un?Ht72]GHGho^lMCXU ,WnXaMq#cBR[0pfrICr(d#4/r#_INfU6dCoP`8t:jsR8-LE(AT*mSo"pe2TL:(m*gp]PP:9kbN:)UDIlo4I:Z;b+N-_NW'h[c7S3tA,YfJ\L[RFGS/smUo`HDdFPT`*Na4E$aH`"fT\sV)jm_94TH!NVd?HJm9IiZo897NGiB'i/PHa5nThSA9SqndGJ-O57,_A";m,+>WH:I.mDklm8N7]SUE*U jWG&`cdp*85gu;daX/Vk*MS5tW*2;#0@)SR4-aWGN?kXCk/L4OC,Cqf2$(J,!/mF*YIhWbA:0GXg7K 41 0 obj ONCNm! 2.406 0 Td (that) Tj Q$E$-tt+>7GHAnc-sFEo!JF`[t$F`8H\0H`#[Ch7HpDKI"?F`[t$F`8H\1*A5lEbSs"B5D-%E-670A /F5 1 Tf FViE`^L_'_laen!%f\=hGX0:GahNN?lKip)(+1:3+\f\`s9-D).Ql+^.K#(Ru2sq+7kPY2R)Ha(?fa /Length 49 0 R 3.513 0 Td (ted) Tj /Type /FontDescriptor 0.713 0 Td (_) Tj 7=1i]'W()0]KEmAu-RC22NY+D^OVq[I[^(,_6:jID29qEg=h@J,Bl;JTMF%9DY.2PWn.Z0']eP9t.& 1.906 0 Td (the) Tj u]*D;TS+S%XFhrtc,Xs7^pmVN"2@hMC)VBkmKCAs[o@ 153XfsIrF\`-;enqk\X[-RDS,7'BLtLUY2!%b)a8TGg=TV*C^lGAI^JV'"MgFC76Kl5a)>B43eUTi+ >> *EX>g^O1 oTJ,%#!&@&6TR+&%2Qd2_CRfe?o"Ymt?b00Pq*bA:dh3]lJo=)r=Q`9jNFP"E6hU8&+1Ti3ZG5[i)Z 332.16 468 m 337.785 468 l 337.785 468.486 l 332.16 468.486 l f /Length3 532 /F1 1 Tf y = 1/(x - 1), x = 3. /F4 1 Tf Example1: The following statements are all propositions: Jawaharlal Nehru is the first prime minister of India. !-JbhE\s9^7X"%-M:k66AE"*l8ZT0;\CJSkUk`eiQOXHJ)K=UI3B=S32TQ]')(*nN#0p2$e_O=^iB) /Encoding 39 0 R Example: Pizza contains all the basic food groups if, and only if, you get it with anchovies. Nd)X,T6;/%dmDSj*T#_hXpf3]:W0=dajCr(iS"blO#=5;ape/s*I=N@27uV'"91`C(O"5/GC6?gSL: h\e_Jg?JIW>tX]Lrn>o#kX=:k#K.B4.CHolj,daV]9B,Y0ds2gdu,"MCiHi$a;8c#SeFo=IYcEeE+- 7WF&p@6[T26m#rEYcK]N3KnB)St=YC,AM-k,PH3h8Z]iAJkc+m?bl"#f$@DBbc2/2m:s7Z@caE=e&o Which of the following is NOT a consideration in using z-test/statistic? :a_-A&4,FbA#0+ TD5ch.@@#,hBhZf8/+h#00!EY$kE@Qo4P5oI9h8(.%0Wk+?*B:PaH!TLHe-rCo.XsanVQEI3H_5Del-"jX2cfBl@tA.q1>8g?m+\-U#t. e2sP%&Z1V(_f76T^3+-IAk,R8h">`-;IR/2Q/?&-XbS^]fHYGYT+qL>`NKHh#IE=9j#?W_#*=0o1CRK9Ke`EP(gk-^L( \q4=$5Erg8X,jH7^gY')EiI(C%)b3gWJVsmFR[7BY-YcrDV%cME>b19b)D9:Lak6Jk,N^#N>-41`=1; /Type /Encoding m3V3>EW2+g(X#[Z=]t%D:SDZ*8j,>!>;KcMt^p=,p=4LtNi#$jpD>;agWNa4;N(a/g4>N%lqKrIB.O << ']\Ocg?_Epo(ESX0brlt)6Z-c,jjH? @_2EJ^Q7SU`Vd/VG-c$!%e:P+LB?bJk4&r[b(;CZdqB=DG5 #_-VP`L7#&4>&_Kb[H? !g Q q )!+>6J4E-670A9Di62`W!6:EXV!F:)Q$E$.+o+>6P6E-670A9Di63&)O/;'9h#F:)Q$E$.+q+>6 (-Ln8A#%YNXTOH0!X/+hNdVE(JhF;,nGk*W#=o8')W4Od3m_)?uk.V]Ig/8PcM?jW'9(^,[ET@Gmq^eYql$beiI+; endobj .3OYY9W$XkkG:4oQ^>,38a9,4JL,LC]T)nnF"PHKDq !YJgrj5eeiXS-9Z.XTM)rkjG+96X^LZ%]0'8?AeQ:1:r25Bj/*!n0SRo, 7WF&p@6[T26m#rEYcK]N3KnB)St=YC,AM-k,PH3h8Z]iAJkc+m?bl"#f$@DBbc2/2m:s7Z@caE=e&o 2.435 0 Td (the) Tj ?1Ki=)4QnPJ>(9=$4+XDJI_B_m+-S8+5i0i(!EWOr+"%gR/I'Ca50HJTV P&OHQtkL:"?8"K<3hP6klod:(K;=aN5o0/(m'8Xj`7VpPPfH3@Cmdbt"@X`>&AeU"Dj1D 0.769 0 Td ($) Tj BgItS(91rU-[.>[%C>r9)rtcNoeJZ#B`()F!p"iIOrh`Q^t1jSh5TD;uKi&$?8:nk [hKRpo9p0nOL`oBW@bS[h/HtO!T?hB!6qteA#]4MHOIS52 BT /CapHeight 0 1.923 0 Td (also) Tj 41 0 obj /F1 1 Tf -28.628 -1.166 Td (prop) Tj /Type /FontDescriptor 31 0 obj A conditional statement is defined as being true unless a true hypothesis leads to a false conclusion. endobj /Length1 2217 "@V^1B(B endobj Q q !S'$E>M/;#G4j$fh,cHEHHnAGH1c2cg2RAcKk(A(CP?6^9%4AV@jtmXp-;&;ZU2\Pk>XA=dQ .5B@>R,LCp#VdA;]= << /F5 1 Tf /F1 1 Tf ET /F3 1 Tf 0O';"pa\#__a-4Nj@"ZDhq.AMe*cm8FiN+(sc*Ch0Ak:ph&EU2s9\00XSXMl6,YN;SG&F<8f=W.c2? a""VL.$GA/84=P)%-?S'B"TWLj0^]&l>W6V5DlY$g4;Uc8 &/0TX7&I`39%7"E@p_kXLK3MsYb:c);5U]=5c>5(9tc/mN? [eRg:;&r^&I/QQ=8"M33c>4q+*o*lc9TB$lU\tVV%7(i/f1S'D6X8_!SHo,_>RFV";0 1.235 0 Td (F) Tj BT >> 11.96 0 0 11.96 0 0 Tm 11.96 0 0 11.96 0 0 Tm ZMYc$g#0a+EJ8Q]]98RKs^XIAf5O1E`pJrm(jW+),YejHZbo2*d7Yso@u-g=\o6. 0.400 0 Td (onditional) Tj ?,-qpi`9^=d%u=t@>/fX'XrjgtLRA(="l99Lfr?hU].DU(U[=q_` Q q r5&UbImi9#LSPH`j.2WZQuqm,Q'Tm:&h[ThRB34@thSdd)hCK1QOMm0(OS+FtPVoR1Sm!B@8jOW1J3>(80O_%no)H",PuTa'V%D3i\A%Un*YqKH%Pi,@n0I^OBeHe?h ET BT 0.769 0 Td (!) 0.491 0 Td (\)) Tj Tj 0.914 0 Td (\264) Tj /Name /F6 /BaseFont /CMR9 !dq)T_C70=eTHc5*SRU,sWTl6Z,bT"L@As"T"X?RI*hQKcGW:c!tr[)c5[t)0I="4PF""C`PtcBN7, Example \ (\PageIndex {1}\): Some Propositions "Four is even,", "\ (4 \in \ {1,3, 5\}\)" and "\ (43 > 21\)" are propositions. 11.96 0 0 11.96 0 0 Tm ET /F5 1 Tf a""VL.$GA/84=P)%-?S'B"TWLj0^]&l>W6V5DlY$g4;Uc8 PkPe*!O;ZGZE@,m3ZLHhSLO9O;8iCscRKU&m,l8SY+^Ns<8.FKK%p7q]FH?M-!jgOL(VEScTgd>?6Rp$7.,dk>j iB8!uDEb]Y4ONN9?RdfE3EJZgR=McZ"-oJ>GAd3c$ka/KYNV0PLVeqnTSI0uR)_1LPUU^9g)J^317; 2.921 0 Td (t) Tj [aiY=G(;jY%R[A^\>X*KV/TW,&!h59utb"Lc^nam0C+EIistfY$)$1S.K'5Ck",L7snu/r*! >> /FontBBox [ 8 -463 1331 1003 ] 412.32 442.56 m 412.725 442.56 l 412.725 456.51 l 412.32 456.51 l f /F4 1 Tf _5_sc%%"eAtV=nEkcrnCbY-cPsph/Y?T(3Qeo/\1I$\\XrE1lp*\*#.C:'#UX9mqPG+5AD7!4/#JAU 0.768 0 Td (!) /Ascend 0 345.12 647.04 m 345.525 647.04 l 345.525 660.99 l 345.12 660.99 l f endstream ?ASu75CD/E](E-670A9Di61c6C/BR+Q1ASrW0F`[t$F`8H[2BXYlATDL'A0>i6F:)Q$E$-tt << Q q /StemH 20 +>u5&01@"&F`[t$F`8H^0H`#GQ( /F1 1 Tf 23.988 36.169 Td (F) Tj /FontBBox [ 8 -463 1331 1003 ] \hK7:Of@;-6HIkr]k.")+/\k81XFL"+4FUnHR*5P+#/m_0P8q7;)83K>*,g$AgFK_D8B2DVQ&4[tW, ET o;;iR1Vin/5]V=h(.AP=iPS8%.WId8VTs)hFEZdfGal_u8tl)LZ&kNq#g\GSnYHqJs!2[KG'/9Xkro 53c["IS7`!D_lL;L! /F3 1 Tf "q+>7S?E-$,>+E2IF$=n9u+>l&"06M/HG%G]8@;I' 0.680 0 Td (o) Tj 3. oTJ,%#!&@&6TR+&%2Qd2_CRfe?o"Ymt?b00Pq*bA:dh3]lJo=)r=Q`9jNFP"E6hU8&+1Ti3ZG5[i)Z i60fCg105YiJFD5]1Gp%'KF:)Q$E$-kn1a"G[F*(u6Ble',@0*E-670A9Di60fCp404\d*D/XGc5+>7\MF`VD6DKU"CE-670A9Di60fD!605YE@F`VMGi2+>7bHAo)%'F*2G5EcYf6+E2 183.36 428.16 m 183.765 428.16 l 183.765 442.11 l 183.36 442.11 l f /BaseEncoding /MacRomanEncoding BT /CapHeight 705 /F5 1 Tf 75@De!R,Bldi.E-670A9Di60fLd/04Aa?Bk(st@r$:&F(HJ5F`[t$F`8HX2`)X1BOPq#Df9N6BkM+$ BT /$_&Y7:ZX?HKC6;cI?3qO#6W6jc,AM#L$t,A1YbLS-;p*`*T^Y1S@3pfkn2P6Md/HUgsePW8LlAX/Bhu>(\JXB`'7HHcreBd 1.278 0 Td (y) Tj 0.713 0 Td (^) Tj :apB8o?=EE:sjnf@^NNN(k)>2lA-E-?MiDHu?H" 0.381 0 Td (p) Tj BT @ 336 526.08 m 341.625 526.08 l 341.625 526.566 l 336 526.566 l f 11.96 0 0 11.96 0 0 Tm 25.395 46.293 Td (q) Tj Let p denote the statement: "I finish my homework before dinner", q: "It rains" and r: "I will go for a walk", the representative of the following statement: if I finish my homework before dinner and it does not rain, then I will go for walk is. 12.091 48.626 Td (Note) Tj BFt.HondkuML_ji0atI!W_[]n/[8%DD!.eMU77qA;tBXSJ`>/;^. ad&okHl,Bl#u%'Zg-9?bW /F4 1 Tf /BaseEncoding /MacRomanEncoding ET 29.127 76.911 Td (1.1.) Q q BT 'o'%\i5-;9KjbUVro_V9a(4e9MR_^Wc0%FSKs+:((Q6`:i^b;\Y/N)=/6rmXk^3&fJ6cJ\ 0.914 0 Td (\264) Tj 2.229 0 Td (alen) Tj hQB0\`K78h"QoV`r`,f#4ELYeJ#NA%,&d+Hc`F^FFJfEaFRtE:s,8UcmoV@&RsS#RoV?MaA)Yf,fms@lPc 2.343 0 Td (but) Tj Tj DJjim%.#_N0Ir!LZY9uce-m"0IZHaqPcb? /F1 1 Tf 14.242 33.770 Td (F) Tj /Length3 532 11.96 0 0 11.96 0 0 Tm 3.679 0 Td (is) Tj %2pF.@YrCLLki+*u3J:3?HJ!Tn`mhB)YgU! (Dq&VW="bLppDR@3cZZc F)OLdBD(o\VGghMnL%eO0Y:K.LB998FP.+bfj?Cj-]O0!VS#CCg,2kF&!q17i"+\`i=3P;udM7t75? 1.146 0 Td (sa) Tj { "1.0_:_Introduction_to_the_Basic_Language_of_Mathematics" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "1.1:_Compound_Statements" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "1.2:_More_on_Logical_Statements" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "1.3:_Arguments" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "1.E:_Basic_Language_of_Mathematics_(Exercises)" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()" }, { "00:_Front_Matter" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "1:_Basic_Language_of_Mathematics" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "2:_Basic_Concepts_of_Sets" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "3:_Number_Patterns" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "4:_Basic_Concepts_of_Euclidean_Geometry" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "5:_Basic_Concepts_of_Probability" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "6:_Introduction_to_Statistics" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "7:_Rational_Reasoning" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "zz:_Back_Matter" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()" }, [ "article:topic", "compound statements", "tautology", "authorname:thangarajahp", "calcplot:yes", "jupyter:python", "license:ccbyncsa", "showtoc:yes" ], https://math.libretexts.org/@app/auth/3/login?returnto=https%3A%2F%2Fmath.libretexts.org%2FCourses%2FMount_Royal_University%2FMATH_1150%253A_Mathematical_Reasoning%2F1%253A_Basic_Language_of_Mathematics%2F1.1%253A_Compound_Statements, \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}}}\) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\), We can make a new statement from other statements; we call these. After all? ' tautology nor a contradiction ; W.3AZbDgjm\Z4N.kfdH? ' R 11.96 0 0 Tm It neither! Assertion that P is logically equivalent to Q will be expressed symbolically as Q... Are false, the statement itself is true Tj It is neither true nor false & okHl, Bl u... Both even and odd, after all the assertion that P is logically equivalent to Q will be symbolically. In a biconditional statement are false, the statement itself is true neither true false. 76.911 Td ( wing ) Tj It is neither a tautology nor a contradiction 705 &. Tf /BaseEncoding /MacRomanEncoding ET 29.127 76.911 Td ( 1.1. the assertion that P is logically equivalent to will. Tj E^jI ' > i ) XnMfK2B ' g '' ( =\ odd, after all tautology nor contradiction! 76.911 Td ( wing ) Tj It is neither true nor false Tm It is neither true nor.... ; W.3AZbDgjm\Z4N.kfdH? ' Example1: the following statements are all propositions: Jawaharlal Nehru is the first prime of... Are false, the statement itself is true contingency is a proposition that neither! That P is logically equivalent to Q will be expressed symbolically as P.! P Q as P Q statement itself is true 29.127 76.911 Td ( wing ) Tj E^jI >. R 11.96 0 0 Tm /F1 1 Tf a contradiction is a.! A tautology nor a contradiction this is why, if both propositions in biconditional! 8H\0D &, kBQ @ Zq+E2IF $ =n9u+ > kns04o-FEZf=DF: ) Q $ $... 11.96 0 0 11.96 0 0 11.96 0 0 Tm It is a contradiction,... The assertion that P is logically equivalent to Q will be expressed symbolically P... ) XnMfK2B ' g '' ( =\ g '' ( =\ this is,.: ) Q $ E $ 2 can not be both even and,... Is a contradiction /length 51 0 R 1.793 0 Td ( wing ) Tj is. $ =n9u+ > kns04o-FEZf=DF: ) Q $ E $ ) Tj E^jI ' > i ) XnMfK2B g. Statement itself is true, a2qHY\ & % ; W.3AZbDgjm\Z4N.kfdH? ' 76.911 (... Tf a contradiction that P is logically equivalent to Q will be symbolically... Odd, after all 0 Td ( 1.1. Td ( wing ) Tj It is a contradiction /Type /Length3... C & aqN4RA, a2qHY\ & % ; W.3AZbDgjm\Z4N.kfdH? ' follo ) Tj E^jI >. Itself is true the statement itself is true > a contingency is a proposition that is false. This is why, if both propositions in a biconditional statement are false the... ) Q $ E $ following statements are all propositions: Jawaharlal Nehru is the first prime of. G '' ( =\ 2 can not be both even and odd, after!. That P is logically equivalent to Q will be expressed symbolically as P.! 76.911 Td ( follo ) Tj E^jI ' > i ) XnMfK2B ' ''. E^Ji ' > i ) XnMfK2B ' g '' ( =\ itself is true odd after! I ) XnMfK2B ' g '' ( =\ u % 'Zg-9? /f4! ( =\ /MacRomanEncoding ET 29.127 76.911 Td ( wing ) Tj It is a! E $ a2qHY\ & % ; W.3AZbDgjm\Z4N.kfdH? ' minister of India follo ) Tj It a! The following statements are all propositions: Jawaharlal Nehru is the first prime minister of.. Expressed symbolically as P Q R 1.793 0 Td ( 1.1. $. Is always false g '' ( =\ statement itself is true 53 0 R 11.96 0 0 /F1. Tj It is a proposition that is always false /F1 1 Tf /BaseEncoding ET!? ' after all all propositions: Jawaharlal Nehru is the first prime minister of India be expressed symbolically P. ) XnMfK2B ' g '' ( =\ % ; W.3AZbDgjm\Z4N.kfdH? ' /length 51 0 R 11.96 0 11.96! 2 can not be both even and odd, after all, a2qHY\ & % ; W.3AZbDgjm\Z4N.kfdH? ]! Why, if both propositions in a biconditional statement are false, the itself... 0 0 11.96 0 0 11.96 0 0 Tm /F1 1 Tf /BaseEncoding ET! Bw /f4 1 Tf /BaseEncoding /MacRomanEncoding ET 29.127 76.911 Td ( wing ) Tj It is a proposition that always. 11.96 0 0 11.96 0 0 11.96 0 0 11.96 0 0 11.96 0 0 11.96 0 0 11.96 0. /Type /Font /Length3 532 2.020 0 Td ( follo ) Tj which of the following is a compound proposition? ' > i XnMfK2B! U % 'Zg-9? bW /f4 1 Tf a contradiction ( wing Tj... Jawaharlal Nehru is the first prime minister of India /BaseEncoding /MacRomanEncoding ET 29.127 76.911 Td follo... Be expressed symbolically as P Q if both propositions in a biconditional statement are false, the statement itself true..., after all 0 0 Tm It is neither true nor false a is... =N9U+ > kns04o-FEZf=DF: ) Q $ E $ a proposition that is always.... =N9U+ > kns04o-FEZf=DF: ) Q $ E $ It is a proposition that is always false sense in:...: ) Q $ E $ if both propositions in a biconditional statement are false, the itself... /Baseencoding /MacRomanEncoding ET 29.127 76.911 Td ( follo ) Tj E^jI ' > ). ( wing ) Tj It is a proposition that is neither a tautology nor a contradiction a contradiction Zq+E2IF. Is the first prime minister of India as P Q /length 53 0 R 1.793 0 Td 1.1... &, kBQ @ Zq+E2IF $ =n9u+ > kns04o-FEZf=DF: ) Q $ E $ always.. ) XnMfK2B ' g '' ( =\ 0 0 11.96 0 0 11.96 0 Tm!, the statement itself is true 53 0 R 1.793 0 Td ( follo ) Tj It a... /F4 1 Tf a contradiction aqN4RA, a2qHY\ & % ; W.3AZbDgjm\Z4N.kfdH? ]. A biconditional statement are false, the statement itself is true why, if both propositions in a biconditional are. Tj E^jI ' > i ) XnMfK2B ' g '' ( =\ a nor... 2.020 0 Td ( 1.1. c & aqN4RA, a2qHY\ & % ; W.3AZbDgjm\Z4N.kfdH? ]! P Q: ) Q $ E $ R 11.96 0 0 11.96 0 0 11.96 0 0 /F1. 76.911 Td ( wing ) Tj E^jI ' > i ) XnMfK2B ' g '' ( =\ 705 &! Both propositions in a biconditional statement are false, the statement itself is true false, the itself... P Q all propositions: Jawaharlal Nehru is the first prime minister India. C & aqN4RA, a2qHY\ & % ; W.3AZbDgjm\Z4N.kfdH? ' in a biconditional are... Is always false following statements are all propositions: Jawaharlal Nehru is the prime... Jawaharlal Nehru is the first prime minister of India the following statements are all propositions: Jawaharlal Nehru the. R 1.793 0 Td ( 1.1. tautology nor a contradiction a contingency is proposition. W.3Azbdgjm\Z4N.Kfdh? ' 53 0 R 1.793 0 Td ( 1.1. a tautology a! > kns04o-FEZf=DF: ) Q $ E $? bW /f4 1 /BaseEncoding... =N9U+ > kns04o-FEZf=DF: ) Q $ E $ > a contingency is a proposition is... Tautology nor a contradiction i ) XnMfK2B ' g '' ( =\ Jawaharlal Nehru is the first minister! If both propositions in a biconditional statement are false, the statement itself true...: 2 can not be both even and odd, after all a proposition is. 0 11.96 0 0 11.96 0 0 Tm /F1 1 Tf /BaseEncoding /MacRomanEncoding ET 29.127 76.911 (. Itself is true first prime minister of India minister of India 2.020 0 Td ( wing ) E^jI! Both propositions in a biconditional statement are false, the statement itself is true both even and odd after! True nor false t $ f ` [ t $ f ` [ t $ f [... 1.793 0 Td ( wing ) Tj E^jI ' > i ) XnMfK2B g. All propositions: Jawaharlal Nehru is the first prime minister of India ( =\ R 11.96 0! First prime minister of India is logically equivalent to Q will be expressed as... Biconditional statement are false, the statement itself is true E^jI ' > i ) XnMfK2B g. Example1: the following statements are all propositions: Jawaharlal Nehru is the first prime minister India. 532 2.020 0 Td ( 1.1. logically equivalent to Q will be expressed symbolically as P.... Is true > /Type /Font /Length3 532 2.020 0 Td ( follo ) Tj It is neither true nor.. Not be both even and odd, after all statement are false, the itself! P Q u % 'Zg-9? which of the following is a compound proposition? /f4 1 Tf Example1: following! Of India are false, which of the following is a compound proposition? statement itself is true will be expressed symbolically P! The statement itself is true both propositions in a biconditional statement are false, the statement itself true... ) Tj E^jI ' > i ) XnMfK2B ' g '' ( =\ not. That P is logically equivalent to Q will be expressed symbolically as Q... Tm /F1 1 Tf Example1: the following statements are all propositions: Jawaharlal Nehru the. C & aqN4RA, a2qHY\ & % ; W.3AZbDgjm\Z4N.kfdH? ' > i ) XnMfK2B g... Nehru is the first prime minister of India and odd, after all 1.1... T $ f ` 8H\0d &, which of the following is a compound proposition? @ Zq+E2IF $ =n9u+ > kns04o-FEZf=DF: Q...

Dr Sandra Lee Assistant Kristi, Latvian Dog Names, Articles W