which of the following is a compound proposition?

0,Togp6=[kgLIt$$>79EOaeX81Z,L%&1[GR[NItK;o4/U/-_q\dma-\2_emB3#7_Q*LqGMCn#iiL=k 11.96 0 0 11.96 0 0 Tm 10.592 34.527 Td (So,) Tj 33.466 24.803 Td (p) Tj pgih4+`/->MP>u7juZK%au0%^AXT>&OW /Length1 2140 /F5 1 Tf $=n9u+>l/%06:]ABk)'tDf-\:F`[t$F`8H]0d&,\EHP]++E2IF$=n9u+>u"u06),GF*),7DBNn@F:) (e8eqX0]8pY^kT+ jd;36ssNJZJEHC)WW*Q-e6,'lml\*P /Count 0 [02Q( 0.400 0 Td (onverse) Tj cnN,cM.a781NjFE-=5q:9WdY$5KmIc>pP**\nrq8=i6DL:kkr"j1([N:"D JG170JG170JG170JG170JG170JG170JG170JG170JG170JEhf0JG170JG170JG170JG170JG170JG1 endobj stream tbUA?8rb^@'7F_L1PPg.o0=m-J((bqBNVR9[@k_r +>7YNAKYr7F:)Q$E$."p+>7eMGT^sJF:)Q$E$."q+>7eIG%GP6E-670A9Di62)cX2DJ=! Q q 1.199 0 Td (ante) Tj /F5 1 Tf 11.96 0 0 11.96 0 0 Tm 34.372 42.706 Td (q) Tj )`/OP0ea_*/hm\Z,su]a@4%DF@oTANCqg3B8l.DKKqBG@bf++Co&)BkM?,+EV:.+@0jUEbT#lDBMY^FD,6&@ @;>"gX`6m*k>m2]FSTt^S82(q 1.745 0 Td (a) Tj F`MM6DKKE'@rri)DIa)aF`MM6DKKK)Ch4`#AU%cr$CdP#B`VQl*@pejoYB!$=1ZZ-:^Xn4m?fd)TGG Fb%M^Y'Om(j$u:BQ9(ES`,CW>pMd>F_>-'(V5]a#n,\?Y@JjYQVBG@(pLLA`T:$I"amn(\RjEMF')& >> BT Q q Tj 11.96 0 0 11.96 0 0 Tm Q q /Filter /ASCII85Decode Formula: a b = a b. ?5[kb64NgcX%ddp>Gr?$T'0PhuuDK`pSA/'"AjHN'^9a/aYQ6oh'\p(@^Y?RL5AmqopX+MdW:./?o_ "! Proposition Asdeclarative sentence that is either true or false, but not both. j8I;0hV\6E&hAh5(2c.O1($ZE`n4f4B"/K:NEQ"3L=ARFEZ=\Y5+S@f:YM%G1CXbFXCNYRb %ajo9FQmWC(AMh8aC? /F4 1 Tf *`,piq&FJ"(&+Y;8 /LastChar 255 1.631 0 Td (logically) Tj Q q /F1 1 Tf /BaseFont /CMR9 /F4 1 Tf /StemH 20 All rights reserved. BT 9Di62)HF/DImHhFD5Z2F)59+BHV8:F:)Q$E$. :-mmj4K@&N[8D?CP#'^+:!7=K@%"7nA ?h`(,9Y(!j@"^shX;p.eGgfeX_&;Jj7"n1Fj@TKMZDjS)_Z;"I*Ao$;af"<6-jbr_1 /ItalicAngle 0 ET /BaseEncoding /MacRomanEncoding As the truth table indicates, only when both of the component propositions are true is the compound conjunction statement true: Consider statements $p:= \,1 + 1 = 2$ and $q:=\,2 < 5$. j4qF[%G:>Q,aa/*jNr@W6P+'cH$[K3YIiTI4E=:eIEktRoj2(7'-.r81^Z2)g>e]a6GP-rJXAms-s$ [V)]4de8k:f&bE>atN5=f3]X/@P8=?fij$NcC9?bc:Hb92\K%2l\68=JB*0@"UFZ,lmPH^ndg5B$NK5#%`7G>Cd+X6=L_$k?ShpW9 `8HX0fL4.FWbXGF:)Q$E$-ki3$9kt+E2IF$=n9u+>GT2+>7p]E-670A9Di60etF*06eUYF`[t$F`8H c. It is made up of simple propositions joined by logical connector/s. oTJ,%#!&@&6TR+&%2Qd2_CRfe?o"Ymt?b00Pq*bA:dh3]lJo=)r=Q`9jNFP"E6hU8&+1Ti3ZG5[i)Z 2.420 0 Td (is) Tj Y5,eebPqNkhDrRH)mSnarZGj8f4jGG[Rl_EC"b\>30^<5EN=4H? `8[fV7mGk@9tO$BH--M::n?\0g64>-[MMmFAgk`%/YE2kIVbKtJ)j? If \(p$ and $q$ are statements Q q 11.96 0 0 11.96 0 0 Tm What is the problem with this approach? 11.96 0 0 11.96 0 0 Tm 21.222 41.191 Td (",) Tj Q q kX2R;'GfTl`ol-8=(.p3N\V.L4hHbIbODZN<=r3,KqS'4ruhTRngCBALC67EMuN\@]"ZBH?2fc@NALn It is made up of simple propositions joined by logical connector/s. We provide you study material i.e. ]b!1o"(JGKTsk^c1nGq5]($0So1sd "+KS9V$:$eS_9. ET 2.343 0 Td (but) Tj ]#`<>&caeAS+4N4YkB8F&ChWj=a;i,L`=-=?HbQ]3r"lTGk[DUM+Z1bq^a^/&. 31 0 obj =HHTs?<0l3&4)AucOtoIWob=C(@6j\RD':d`$nX[5q8ZpT'+9k)a`'De%4ZS54D7h"R^"eJ(Y)t7HI /rrghrW+Tci/(?RfW`L8@Jj,U8t;2>!&MYEk!6gYY@S4*^o;+#c7Jf(P\s\DMqNC1Oakq"K-OUFfg5 :AaCo-[I:3^!A. /F1 1 Tf /F4 1 Tf g[XP[er$T6j^Mm(`$F/]q$(P#T-a/_^ Q q ;RgBK"Efgb[X/H;ci]nj=p4b1R](@KHto6PdVMr98Q&&IQrkEpn:0DjY#c^$cmF1q[nP#,r4R, 3.236 0 Td (what) Tj @SrTUWM_:VK;&"l-k.!,k>YrI4`j&+&rftQ@j,sN@*VK'.n#D$YEU8fT4(rqRnTKFad;AY>U_LZpgNdV/42d(g*05BW+kM Ab#g6Dn#-[U=^&4j.Q9nDUY,53e2C7Ib;io5;Wrq^]DFduZ0,5OE0sd]?nAMkAqI(K4c+[#8Ns\kk8 Df0B:+Co%q$84hc@rGmlDJ((I2)ZRcEcPT6$8Pf3+F>gcBl7HmGT^RB@qZuGc/+>7eUF^]i6F:)Q$E$-kn2]sbaBjkjsDIal/F`[t$F`8HX2E2g4A8,IhDf0*,Des,u+E2IF$=n9u+>Gc7+> !E*Hr&.>'09\FHTr&Ad]:j!tDVZgZ 0.882 0 Td (comp) Tj 1.074 0 Td (ws) Tj 2.093 0 Td (\\if) Tj Mrm)6A"V)fuZJ`%9m/+Db24C6#F,J0;I&"U,U+Yb[T9mT;u*l:6La7TDhQVm@78+VS:LQLRNW$ r%:%PB(uC^!`1K(g2(iY7Q? BT K,. a*GPoge2ebfl5`k_m]1HnRr_.Y,D]dULX,QACV=QcMqA7QXd$o /FontFile 33 0 R qA9=,JL19icGY4.XN>W_170MYHr2H+O(N=(u6@Sem!77re*ELWh=!(Z:'Lh"m.QH6`t5]_OBkHIcd*4`a#Q$'pf/s! Q q Find parametrizations to model the motion of a particle that starts at (-a, 0) and traces the ellipse (x/a) + (y/b) = 1, a > 0, b > 0, twice clockwise. Q q Example 2.1.2. p^:p Definition 2.1.3. >> >'.ClE_'@uY#]?YXHCF31RXT&7'="p:hde6cBn#EdJ;?Ud#F#Q[?eU]=+V7"O8u%8dujN:)i7VkieH 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.". 17.396 38.568 Td (p) Tj ;Pm[f+K_)a1'$:FQi:*L(oLP%c1#u#rh$%DYDJ`C10(kY:;NYpQdbphN7X>jH4RM,Fj-3og4d_6[>W endobj ZNb30:qBif^J>*8]6.Z\IcaY&.if*cid"R&pKk40J%q:sNFnX=70ZM[YFdH-HVb-T9XO@c7;otBpm] *&"@:X:oCj@.6AS)9&7W30d6:,U8HS%!5+>#T30H`))0fC.52`6#(ART+fDJXS@A7]? /F4 1 Tf V*;R.og/L!q'(ig&uc,>MCCAZj]$Q!tuO/'1SOeoc6'_X"FN9,/8T*;5C!&.TpM7h(W8K#^A!hqAO- Tj 11.96 0 0 11.96 0 0 Tm 11.96 0 0 11.96 0 0 Tm ET -g/rW`s<=d;>81QHmW`o21f'r-E^'#YUg/StH^'K\-9_IS1!MW&\.P)lKdg)uO^XB!C/1C_h:q&_dj :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. 3.139 0 Td (p) Tj -29.376 -1.166 Td (represen) Tj ET .4gU8g"H$@#8r\WTq@DTWB"b>cG3HT4o40L`?g#Nhk'. /F5 1 Tf PkPe*!O;ZGZE@,m3ZLHhSLO9O;8iCscRKU&m,l8SY+^Ns<8.FKK%p7q]FH?M-!jgOL(VEScTgd>?6Rp$7.,dk>j [&S%RSMZXQV y = 1/(x - 1), x = 3. Q q /Ascend 0 "EW4CA(IqpG\YA43^,GuF@-MH(Bm3M 29 0 obj /F5 1 Tf /Ascend 0 F:)Q$E$-kh2'=Pd+E2IF$=n9u+>GQ.+>7IPE-670A9Di60ebO/05D\LF`[t$F`8HX0K:1.C`m\>F:) /BaseEncoding /MacRomanEncoding Match the fully parenthesized expression on the left to that on the right. )2"g\MR[=RE7RQS$+dI![E^-m?%C]9&\B`;*ck`UkGr03j@Zofa/M#YN%#WK5m/%9l6bh.%p?UV'!IC0eakW.R\g]Q+K*. 1.358 0 Td (q) Tj Q q J?KL"RS$27R2Wn2PP&*FM'1@-_5Y'1IgA[?H2"2me>*mC_%tYjXZsC$-c#83?oq3#Xl&.d8c[I)'I81qCP/K [6`dme a8@32l\SOcL4KA[h1.NT7%0Z'8"4Ej7Zc#foW#*kQd=L[p5HG!H6V#JMlj'-mUCA*,G-:7DL>3WFNT \O=Q^t0`_H4DB!q6#16q$*k.G6. /Length 52 0 R /F4 1 Tf This is a compound proposition because the sentence has a logical connective between the . >> /LastChar 255 F=IQ_ZQ`-g2nG0O&`Q"ECUfp!0R^%[+13.25RL?Rp89W@SEECPd/UmP8!%NW! 201.6 456.96 m 202.005 456.96 l 202.005 470.91 l 201.6 470.91 l f /Length2 7382 !0`V3.O]ZiqrjU3.pD`$!t''NH5`6!msX)7,)uE;m0DAg0X?G_/[Hmo1Mc/IP_G1V@YB9nn$E[ijW+ 7eIG%GP6E-670A9Di62)ZR1ASGdjF7VHDIjr0F`[t$F`8H\3$9kaDes?0+E2IF Q q /MediaBox [ 0 0 612 792 ] 3)t4Bl%^*+E2IF$=n9u+>Gc7+>6Q)BcqA;F:)Q$E$-ko0H`#FF(lb9F`[t$F`8HX2_uR0:MjZU@3BN lC.$4Y()"tVDZdHf\B7erWr.GVh6OPC[*(XJY80>qL,aK'7mo^>_]a. (8!QQO&01Dl7[MhH&*5GU`MT,%Y^bn+?`;6;-;EZ5:ij1NTfHj(!csp7=I19ARSAp@K0[Qags[Dd5Z /Length3 532 /F5 1 Tf /F4 1 Tf 11.96 0 0 11.96 0 0 Tm We and our partners use cookies to Store and/or access information on a device. /F4 1 Tf BT 0.571 0 Td (e) Tj Q q If the baby wakes I will pick her up. -28.927 -1.166 Td (John) Tj /F1 1 Tf 5j_CdRn7Q$OFR^,O1_i/R5QG&hf&Y'4T\1etKm:VDILYPSG05]GM6GN9G!4WV9gcd0eDpQ7GV$bbXT Tj 4t#eI#m=Vphbkn8A19P+@bOiDR%Z]b>@#[i:+p 446.88 428.16 m 447.285 428.16 l 447.285 442.11 l 446.88 442.11 l f =tUqZKPKLdLU,C[B,oEp'+9^9e)3fmgP?VnAr$:NZFK?\MJ]8HbsM7ks@m8JS@o! X2`)X1@;Kmr@3BN3F:)Q$E$-ko2'=P]ATV?'E-670A9Di60fM$604\X1FC? - The triple bar symbol () is used to translate a biconditional statement. "jeZNR,-.B)`5=Q?uZBjbMsIf: .6AS)9&=(Q)YBQP@F9k@jLF_rQMEb/ZiDf0B:+Co%q$84tm@;KXf6#L=OAKWQZ1bLI=+Co%q$86+77 Qf6/?f?;Q?A;"0A)Xg*?ZG_QWTG>DV$c^&XAG#/U<90\Bf;GiT^+^DpH.)SP(Nu1:VZ:.SgV()K! 318.72 609.6 m 324.597 609.6 l 324.597 610.086 l 318.72 610.086 l f 6(;f%cIB]^X()&1!8ZW^+Tr4(:V[JJ\=DFiRso!g@^h4WDnE8l`8i"!T7(Npm! /FontBBox [ -34 -251 988 750 ] /F4 1 Tf BT [rOT\N*Im&lYSbn?5OmtHO_Bj$h.gT9@='LhZ)tj[N2`aX%7qNV*.JW30>C+8 oTJ,%#!&@&6TR+&%2Qd2_CRfe?o"Ymt?b00Pq*bA:dh3]lJo=)r=Q`9jNFP"E6hU8&+1Ti3ZG5[i)Z 5.What logical connector best fits in merging the simple propositions c: Money is . i,79qbf'9m[66G3AOPg=OChME?:X? BT '58bgATQA<2uiX`a,c9[9+"2O/L6H`66?uN.^.dN;b%j(on^7":l!bU7pYHC7e3K[`G4ns[\7F*r[$ ET j,XC&8a6EFINVg\3GL?86cA.oYTi]K%/ndbAmTQDhCTRZUK.(.>p0\f0HD$Zoj3E. gOeZ-EJalDN\Ik'*p5%iL? g*Cc='LVopQ4Zk3c=krWpUNB0cnWk2@t6,Y3>(WHgJQD9^,_Jce^ALff\\*$a`,\Ko@MPJ%CeS(Gk; >> 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 ET endobj ;gMXe1S5[pKU%?a^F6d-cF&sG[tZ Q q "@jMuM`@Rr]qC9,Lc*rKI5*8bqXMf$.jkB>JB0jubNK*V? C'GPM7!+p.tCYcJA9=)!D8Ql%qaR`F26ealj+P+aaHCjCCKLiZ&>r2P_BUs[-,g/)dQZ;:ar8=BnuS A#WaG[Qb:>)+OrQ5/h"e!3'Pa^B9PhcRYb!\Qb[g=t*e:tre's5s>@uk$$*M?SiIp711M[ao^".h&4 /Length3 532 BT E:SZo,G16u5? /Type /FontDescriptor /Encoding 15 0 R j8I;0hV\6E&hAh5(2c.O1($ZE`n4f4B"/K:NEQ"3L=ARFEZ=\Y5+S@f:YM%G1CXbFXCNYRb 18.269 24.803 Td (p) Tj >E41k`"L_]\Rj,ArM2IN/8_b?Qr!j*hmui1rIu:C8)8T+brrYE'0t=0pk!Dc6* !u.MriA(7[Y@i296k2Mmf(cT`Zi0HIgLcWqVK%9!518QQh]b6 The assertion that P is logically equivalent to Q will be expressed symbolically as P Q. 16.764 22.404 Td (F) Tj PkPe*!O;ZGZE@,m3ZLHhSLO9O;8iCscRKU&m,l8SY+^Ns<8.FKK%p7q]FH?M-!jgOL(VEScTgd>?6Rp$7.,dk>j 2.410 0 Td (is) Tj 11.96 0 0 11.96 0 0 Tm O3knRU-6YI5Cj%\lQu`O(c@L/T1W$HcA4oe+q=!`>'NH>>kMnYUQ>1=#4r):. :'`rh3Ys99%6Yp#PMl@j>L+$dp^H8a7AI]V3S27!+ZF*"]GJ-bVYY=9[%`NA` )jlan)ngdnFS8AokU28;!2@R0?k9Z(E+tpT9[,$#ODf5GRs3,F]^pMfOToIBm,Zs>dn REECM+3i_&A.R6U[-l;:d[b`b7i>_nGP%?uZB(G'h8ge]k/5Tk)-0bjbDqCjeI1$$l7 ;PtV&onH] Legal. /ItalicAngle -14 16.122 55.668 Td (p) Tj /F5 1 Tf )`/O..3NYB@:X:oCj@.6AS)9&:2b5g@q?c26Z6phEbT0"Fo(@:X:oCj@.6AS)9&7W30d:18!N+>6)V;cth/+Co%q$854 /Name /F2 ET /F1 1 Tf Q q JjH,t:W]g8rC41Btd"k"Lk9?K]i\Z9M?P"`mDL't4m ]ccq*sm5Y%Ldka0XJWDQs`0`@f/OH-HCI"f^V4bS8lI@9bhi!Hi?QmNs;&t:#80Vup24f$ Q q /Type /FontDescriptor A contradiction is a proposition that is always false. 35.573 34.969 Td (T) Tj stream 1.716 0 Td (prop) Tj /F1 1 Tf [eRg:;&r^&I/QQ=8"M33c>4q+*o*lc9TB$lU\tVV%7(i/f1S'D6X8_!SHo,_>RFV";0 /Subtype /Type1 M'704ng4+E2IF$=n9u+>Gi0+>78DFDPN0F(uh:F`[t$F`8HX3&)O/B6%F(AKYr7F:)Q$E$-kp1*A5Y We also acknowledge previous National Science Foundation support under grant numbers 1246120, 1525057, and 1413739. bmIAQL9$:ofZ$FY\O4$.0eG`4L.%s'ItuUUMNQ5%Fo&C#kX*n[D]lku >> 28.446 23.604 Td (T) Tj /F1 1 Tf Q q t$F`8HX0f'q*E?K4CF:)Q$E$-ki1a"Gl+E2IF$=n9u+>GT.+>7dYE-670A9Di60ekR/06A=UF`[t$F /Descent -225 d\H1[V"oJF]juX(PRAcuK2`OFLAdT"R,2d?D'9+I\k_*tRU61Fj/[6t/B1#JZsN0RES&d_Nd!4mM\d V/F+2T(5V3a`'?%c4(! Q q << 11.96 0 0 11.96 0 0 Tm 1.046 0 Td (a) Tj endobj ET [n[LYLKP&asnWkIoG,gOA << RX.2hMII]GQl!`'3?=T>bIGT-c_X7imS2NG,b+8eg"Q0nuEW9#6IJ6R.-/#QZVX7^k,+8mr_\YJiML 223.2 633.12 m 223.605 633.12 l 223.605 647.07 l 223.2 647.07 l f \4$)\mqWb&r1)kOTiFuQ,ij0jhCY!:ggY_=ndG'V;ZmCHn(U:?.cW'dDWK+d/>VFC&? /Name /F6 ET Q q 377.28 428.16 m 377.685 428.16 l 377.685 442.11 l 377.28 442.11 l f 33 0 obj (t+>6D2E-670A9Di62`Dj49d"CtF:)Q$ :qmg,"/MmG*3/MVSkjPL%>([^2=\t4hItu;fe7H;`mouV3HlT,$4LpTh5]nfhG?t[1\sK%tQ5m1-VA3kd'*qo3g"srPAKP)_4eYs$5t[:B24pQCipMO:Q8WFSOKRqCZYFRL>0%IB!D@ G\l:eR!>e1%uCU3%%! BT << Q q Q4'_O.%X\!]!U?Y')T;"oMX3d>O5TqO;[`$5[VS? ]Pf[nTEhIMh4='dBX@uBNe?JSG=S68Hdi'0`rH` ;>;ktDqrS(a Q q 0.400 0 Td (onditional) Tj It rained Yesterday. Q q /F1 1 Tf 14 0 obj /FontBBox [ -29 -960 1116 775 ] endobj ])+[9k<7b"Qls"1^8% /Contents 11 0 R This is, is (p q) r logically equivalent to p (q r)? Q q 11.96 0 0 11.96 0 0 Tm 14.083 42.706 Td (c) Tj /ItalicAngle 0 JavaTpoint offers college campus training on Core Java, Advance Java, .Net, Android, Hadoop, PHP, Web Technology and Python. 1"BC\:)YK3lJr@kV@=Q;J)g)/3?opTAP`&$0ZB2MMbOnM>eA-8&^`MF]I!PtkH? /F4 1 Tf Ab#g6Dn#-[U=^&4j.Q9nDUY,53e2C7Ib;io5;Wrq^]DFduZ0,5OE0sd]?nAMkAqI(K4c+[#8Ns\kk8 11.96 0 0 11.96 0 0 Tm -5.784 -1.458 Td (p) Tj endobj S(#]CO?ia&Yh^frG)/Gqs#4kN:8)a#BAYMLS_*5.3j"meGT!Z40!o+ ?.bo1O-3t\C/tQ%gB i";'ir7YC07$"(u_8>rt.F@-k;A%d+[5f"FirOI_Q#qkK8laU^]Gfn[XP$eGW%Ae 11.96 0 0 11.96 0 0 Tm Then. WT[E<>Ao%4ghd:s8)g'44Y\Re&%8p[VCY;;$NN*Sph?V`1of>Ifc?/e:OjTri8`V==C-0#8s3L;V8(jWjMB!qC""X@^#mP48]O_oU5[&6&LRJp&Tt+:;gIrj1G0.qLnra#9]qk,3IG*d'@:5qCk10>74i52ogKZ+VnL*feD(ApuUJgb /F5 1 Tf ET /Parent 3 0 R Directions: Choose the best answer to the given questions or statements. 1) Conjunction (p ^ q): Any two proposition can be combined by the word and to form a compound proposition said to be the conjunction of the original proposition. .4gU8g"H$@#8r\WTq@DTWB"b>cG3HT4o40L`?g#Nhk'. ?5[kb64NgcX%ddp>Gr?$T'0PhuuDK`pSA/'"AjHN'^9a/aYQ6oh'\p(@^Y?RL5AmqopX+MdW:./?o_ 0,Togp6=[kgLIt$$>79EOaeX81Z,L%&1[GR[NItK;o4/U/-_q\dma-\2_emB3#7_Q*LqGMCn#iiL=k 1.290 0 Td (instance,) Tj Q q 336 199.2 m 341.625 199.2 l 341.625 199.686 l 336 199.686 l f 6.115 0 Td (or,) Tj E^jI'>i)XnMfK2B'g"(=\! +3Xpn]ZfEnN1(0?&>JFUsSdBp1Q2-XE%]L2_@YE9l-kp)U+^R$:NM&EHNPL3]H;a]75C0c93SYUMIW (TZXk,%2,=oSE [03)n(EHPhp=B`fH%BTNQ1Zf2aN(+O\'Pb!&^":sN;bNd.XZ^n3'U'#I Consider the following truth table: The table above describes the truth value possibilities for the statements $p$ and $\neg p$, or "not p". 0.400 0 Td (onclusion) Tj BT Fo-utB^8Ao"GDZifhTBmZ'Psk^.GA#DJCT'PY\s>(&dnpL2i4]cr16AlRlpGYX$'`M0/*1I 0.470 0 Td (") Tj ,5V9M0V"@cmC%i76=gh*Vs8p&m:Yb*W/rkG`^9;n/@J5t*Wh3sfI)_T[DQD'Le;u5p?MDQ)RLHgVJWWaET4hC%H.="85d)pc,CSY Evaluating Compound Propositions There are at least two strategies to find a truth table for complicated combinations of propositions: simply plug in all combinations of values of true and false for the propositions it is built from, or try to simplify the proposition using the identities presented previously. /LastChar 255 Dg,Z/FD)e9F`[t$F`8H[0d&,XEcQ)BA7B@qBkM+$+E2IF$=n9u+>bnt04AmADg,`$Cgq=)BHV8:F:) BT jpHKk'"R)mj[f.;pKQpL1"frJ)$-Ti6aUN\!A5J8K+DU.ns4GT[O5=si&n'T$Z#\.Aj(TQQE2E6Il] For instance, the following are propositions: "Paris is in France" (true), "London is in Denmark" (false), "2 < 4" (true), "4 = 7 (false)". )_TH_Jk&[oSrd3n:WY86=Jn+PF-tVRlVlCd-d=f3_X]rfL]\r^& 75@De!R,Bldi.E-670A9Di60fLd/04Aa?Bk(st@r$:&F(HJ5F`[t$F`8HX2`)X1BOPq#Df9N6BkM+$ /F1 1 Tf hQB0\`K78h"QoV`r`,f#4ELYeJ#NA%,&d+Hc`F^FFJfEaFRtE:s,8UcmoV@&RsS#RoV?MaA)Yf,fms@lPc Q q endobj X&h?b)gPD/==D6a]qt$bk\iffQqdeQgXngdek=*7n/6Vt(3'YG[Hh)QPStl%)"!M^B?.RGPET[mp>G /Length3 532 !0RX4C5%!hL51^b8H9(+)g\hV8Tn,(eqB[0)WrK,HX$tX[NL2Y@7]D,='*^J+\gqt\ik,)l c&aqN4RA,a2qHY\&%;W.3AZbDgjm\Z4N.kfdH?'] [4"4&8W6qN)]CcT[aNbuO`%M 75@De!R,Bldi.E-670A9Di60fLd/04Aa?Bk(st@r$:&F(HJ5F`[t$F`8HX2`)X1BOPq#Df9N6BkM+$ >qM\b(ZL%PS&gc6f0**'bdfE?7YlF`@S1/NB^KYZObFQ!LCc"a;0JO,aKbjBF3gF;lFQ#9/#TFoYTj %CmT@.Fo"AgLNfr<2eUsp;-kRto!_?]fAc`DELE@3"Um,d,! /BaseEncoding /MacRomanEncoding Q q endobj /F5 1 Tf See Answer See Answer See Answer done loading. BUYTj>`RNfY5`LS`tD3r6o!^2`ondTS:]N^[>YjlqVn`up!,,.X`-"=@6iASY\KPHMO?C+(9FeDGN] bZJTE""!C4HD8bS3[)$6nNM[+@b;^bqq"Y5 H[B?BGIpq>^nV&.r:J:_E!V]AckS_0!7'Je. 11.96 0 0 11.96 0 0 Tm 21.551 47.038 Td (\\if) Tj Q q H[B?BGIpq>^nV&.r:J:_E!V]AckS_0!7'Je. %^h!@Wq7dq?,\kiDs_^jR/&DZf/? QkTr,l;u>U!p3!ehN9[V86d&l]i+D%,'0CH[PXk`&G>(To:L3lUrP3[ba`;eYHnI!QTG3h1IJ'6nCH :95Kq1?j>lO!d*%D?AdV(NqIpem#E;5uQ?-+l"E(&XT]iO`"QU2Aui1 hQB0\`K78h"QoV`r`,f#4ELYeJ#NA%,&d+Hc`F^FFJfEaFRtE:s,8UcmoV@&RsS#RoV?MaA)Yf,fms@lPc KktF@&<4G^D#"1E\8)2)-4.0f(g42`3:;Eb/ZiDf0B:+Co%q$85CsBlS9,=BH\'0JG1>2E;mjAS)9Z 0.984 0 Td (the) Tj 336 544.32 m 341.625 544.32 l 341.625 544.806 l 336 544.806 l f 0OQ\ckVg!Ie([`9h&FN9>a[A1`0lpYtLC&1WIDfEWiliTHbMi@MA.U>1.H-H4^4&. A compound proposition that is always true for all possible truth values of the propositions is called a tautology. /StemH 20 /Type /Encoding We call such a table a truth table. 34 0 obj $HCY$quVD#(0bSi)io2B]gTWLiMk7"=9P!4W`Vj`uKTpM@::j\r!PtnLX[bBkGB0"M9Otm+RR@jXAc If you dont eat your broccoli but you do get dessert we still think she told the truth. d\H1[V"oJF]juX(PRAcuK2`OFLAdT"R,2d?D'9+I\k_*tRU61Fj/[6t/B1#JZsN0RES&d_Nd!4mM\d 0.889 0 Td (q) Tj BT /FontBBox [ 8 -463 1331 1003 ] R*,"aH63VQg%B\-DScl2t+"IQ#L8j26?k"ICL /FontName /MSAM10 24.220 52.069 Td (T) Tj XP1Dkh-@*-``P! i)LSg+_0\/]p@GZY\*I&0g0B'#t@r$bbnmRWg*'LL&B9;fZQ212^HbH@$a6):S9;AE]]U#:"3V,P/?T(&WmnHZ-q[?a-JimT`qHF [01BbgDe*R"B-8re2BZFKEaa5#0H`(m1,Up3HSHXWDId='+D#e-BHSr\DJsW- 2.614 0 Td (is) Tj ,p?)`/O..3NYB@:X:oCj@.6AS)9&:2b5g@q?c26Z6phEbT0"FdART+fDJXS@A7]? BT 1k%_//(6[lc)gDdW&jM&lpn;#7UjTr_VIg)N&9n#tc647+/FU7:cXWn3Ih71eq;dYf Q q /FontFile 41 0 R 71:R7i"(*gd)k@uh^$9I=AWdb:o[X4D1kmO0e0cL&,h-E8*2!9[+pA16I\?\e!ELFiH@eFT>V[V.%P :7&:J!lU($\a*M;= hQB0\`K78h"QoV`r`,f#4ELYeJ#NA%,&d+Hc`F^FFJfEaFRtE:s,8UcmoV@&RsS#RoV?MaA)Yf,fms@lPc /Type /Encoding g$G]RU#(A*)o&ZcfS7VnL3C)T7Q%c+`\`8TBKrfI\$h[@C`P=J .QP4tOdMKN53dH>X693cu'h 307.68 456.96 m 308.085 456.96 l 308.085 470.91 l 307.68 470.91 l f /Length3 532 << 434.88 292.32 m 435.285 292.32 l 435.285 306.27 l 434.88 306.27 l f 3.522 0 Td (for) Tj puO&][XPK7A.mB,>u'X=Y;@1A^MDI;VAn8]Yb*F?enqu'KKT?QNg@-&2_kgYDWf(>dE]h)3@b@Aq8LS= !dq)T_C70=eTHc5*SRU,sWTl6Z,bT"L@As"T"X?RI*hQKcGW:c!tr[)c5[t)0I="4PF""C`PtcBN7, /Filter /ASCII85Decode 3.503 0 Td (of) Tj :AaCo-[I:3^!A. 1.278 0 Td (q) Tj /Flags 4 4. =Ch1#3oL+3`17f999]@_Ig^^oA2gT@_7+On>a6*,N.S:&nFj0VC](hQ\o;gQrGc1.Q>(E%UfPAV#u) +E2IF$=n9u+?2/"02j!4F`[t$F`8H_1a"GN+E2IF$=n9u+?25$03'-6F`[t$F`8H_2]sbT+E2IF$=n 2.245 0 Td (John) Tj Q q ]G>s\:.JSW.nqm5CdPn]WYB+[ah9I"Os4^QWJ!501Gl*N:QdCR5Go/pnW5"q/DJEKg6>Z`mtfH+PC.CLlDSjJ&>=`H#p(=?l:W5FlFp[7Q9ECCB:RNU9PCrt"]`'lg#DWOS ']\Ocg?_Epo(ESX0brlt)6Z-c,jjH? /F4 1 Tf 7WF&p@6[T26m#rEYcK]N3KnB)St=YC,AM-k,PH3h8Z]iAJkc+m?bl"#f$@DBbc2/2m:s7Z@caE=e&o @beq06Cl=Eb/j$Eb-A4F`[t$F`8H\1*A5hEb/`lA7]h#E gOeZ-EJalDN\Ik'*p5%iL? 3/S[[gr3fr`!ja4J!9MX,.Mu@g[^A5e2tLU.R*-VLh1,E<0Y1N&Q2R_uILS;GTu,d( )'OGih3W6GHN#)O(3-UO%E#0h#U?h]Ba=S?_3\#p >E41k`"L_]\Rj,ArM2IN/8_b?Qr!j*hmui1rIu:C8)8T+brrYE'0t=0pk!Dc6* Examples: CS19 is a requiredecourse for thenCS major. #@>MD6`XeX_(rg&Asi'BI43\"S? BT DuT#]6qON;Xs[55E*;YNm1]s!ggaK_ACsBK;d"NP)d[DrF6R=j9'nd0A:%cLhT&Ar:H"/(jIsW+9>V 0.967 0 Td (true) Tj Q q FPcOTa$A6n"V\L[El$0 11.96 0 0 11.96 0 0 Tm )`/OP0ea_*/hm\Z,su]a@4%DF@oTANCqg3B8l.DKKqBG@bf++Co&)BkM?,+EV:.+@0jUEbT#lDBMY^FD,6&@ 9 0 obj ^Jtu-.42c\aO,ES=lks6+*]oa1F8+8Kg9QNVS.EqpSTeJZjnI,_?n4OJB4NW( H`WVCV)PT>PYV^a`7XTf=QsErh%.d,2L+l'G85Uf];#hlt*Xd02m! << << >> /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 667 333 333 333 333 333 333 333 333 333 333 778 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 611 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 333 333 333 333 333 333 333 333 333 333 333 778 778 778 778 333 278 667 667 778 778 333 333 333 1000 778 333 889 611 333 1000 1000 1000 833 833 333 333 417 417 1111 1111 333 333 500 500 1000 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 ] BT 10. $[qF`M"Y`WeHQ`:j@Q\Tr=3ThR9uMudA;^^._uA8s!0m[T0%5Hcu'FjI@k)V=$Z BT )`/OP0ea_*/hm\Z,su]a@4%DF@oTANCqg3B8l.DKKqBG@bf++Co&)BkM?,+EV:.+@0jUEbT#lDBMY^FD,6&@ b) If the package weighs more than one kilo, then you need extra postage. /FirstChar 0 5GCW!Y:>Y5,(93F/mKnma/2f[,K99Gb`"?6R57(jrWl[GLj/DU]nNb^/QU"&p-kZCp/4Clj:U@'_u# E9uB]?2&X.IY\PMZ%0[Sc'A^,6TeJ@S#q^$uDXT,I:7r?+_`J,i%A,"NqpFi Q q IsNXq,r"kZW'\%V73:66+=WM-/CA4+.*UFp**!ce1%ddZADV([o@fgoo%9h;V=\8[c)&L=)VNKg)8K==UO! ]b!1o"(JGKTsk^c1nGq5]($0So1sd 2.288 0 Td (e) Tj 9To#'I?H.kU_QM^4bDs1F]SYr^DYI8\jgLVuO6! Q q /F1 1 Tf fOcXP@@aeIkP%Y*g?oMjPH%3#L+N)W9R#l*CW&1l*0-B=f5ePmpJ[T\\ml-.uc4E?Y%:/\ak. /FontFile 37 0 R 0.491 0 Td (.) /Length 48 0 R ,nSlg\V:hs5AqBEs?+_p]U-)Oq9K@Tp2%sjWR;COLV9XZ7mF:Icf7,VFkrYK[I*N_&Z>kg4PP.=1_9 385.44 618.72 m 385.845 618.72 l 385.845 632.67 l 385.44 632.67 l f l[bX)5u)W%B>aj)+n\ZTLjR=/\o$U;=`k>T!=B&K^qn 17.554 52.069 Td (T) Tj ET )&Xa7,8CRi`ASh&W'GL*P"`Q0Io;? Q q 0.713 0 Td (^) Tj 0.843 0 Td (it) Tj :r8Df"qCB>/3I1e2\RFP.=\YtP]Z6(0>ma,UBhXn0'P[_$bM7_.g-l9U9_am/C65LI1aMMVXk,StI0>?_hrYp`d@d:Lc"RSqm NEeN0%gMu-+d.0DuP`Srp!5$p]]:VkqOEU'>6l#X0hY7';).qT1[8iIoJ5=X9f0`JeZe`XrFil##d& :AaCo-[I:3^!A. S&IPT'F5p;$CT\I3RXM+WWgWQmo^VuS2mMF!3Tj)F"jGI?6C>eT[^>`6ah1]r=N`?LQsPln Z\s;e?3\R_p6p,V/bl-E&SFI93(7m+#EM>_%ANHtk6ImZQOG2f#cX[Cl;r797Oo=H=")V/pD. /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 667 333 333 333 333 333 333 333 333 333 333 778 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 611 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 333 333 333 333 333 333 333 333 333 333 333 778 778 778 778 333 278 667 667 778 778 333 333 333 1000 778 333 889 611 333 1000 1000 1000 833 833 333 333 417 417 1111 1111 333 333 500 500 1000 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 ] 12.091 48.626 Td (Note) Tj nm5p33R*%j9sVNP:C]*b&crr(d'b,WjC>neG9'E:)ZfO$M+\if+#J'L9[-MfQ. n]dTr)B;Zkq'D8?:Ii0n3opdh+`F;QjnJB@Nn!*e\qOH4WU5[ag++l-neU6? 1.985 0 Td (osition) Tj _p"a$$0YR^o8-ZoDQ.(DrZr&OtJ"t2*X@W_-T=:47>Ql11;'JjPH6KOQWUh#e\cAgQ7co/\eM^caY. 37 0 obj 3.028 0 Td (The) Tj :95Kq1?j>lO!d*%D?AdV(NqIpem#E;5uQ?-+l"E(&XT]iO`"QU2Aui1 O=LHC2`Ok'J0@[JZ-;j:;I#,";h,l>0#.&jVV)gK&c;@qq:71W?uuD>2qZa&g!\/h7R`r7/8$ /Encoding 19 0 R gHRsVG%? -670A9Di60ebU105VhNF`[t$F`8HX0ea_'DBNn@F:)Q$E$-ki0d&,f+E2IF$=n9u+>GT++>7[VE-67 lC.$4Y()"tVDZdHf\B7erWr.GVh6OPC[*(XJY80>qL,aK'7mo^>_]a. /F1 1 Tf o7uOf*cL5_(5j38)M[:)/0eWPLcR%UI>^E_TbXj(4b8C4@F]`DYl`cj.cgm9DFM'S/*OULL[!bVT#jjf&I='`_$qH+f\XGYCa /Length3 532 N!IHNfu4bho4ANe54,PNTa1?=uKOJ[u96:/hiBEO(!.%j\tA! endobj 3.588 0 Td (then) Tj aBl8#lH#R=;0Han;AdU1\Df0YrH#R=;0d("=ol+>>E%0JO\(+> BT q 75@De!R,Bldi.E-670A9Di60fLd/04Aa?Bk(st@r$:&F(HJ5F`[t$F`8HX2`)X1BOPq#Df9N6BkM+$ Re(D5qWW4ds*pD%I.qX9c0R%_i+h5P@RaIXTMci\k7"nB5q*u^201h>LO,pY:NbtdUtJi stream F=IQ_ZQ`-g2nG0O&`Q"ECUfp!0R^%[+13.25RL?Rp89W@SEECPd/UmP8!%NW! Q q Read the statements below. 377.28 414.24 m 377.685 414.24 l 377.685 428.19 l 377.28 428.19 l f Tj /F1 1 Tf 11.96 0 0 11.96 0 0 Tm /Filter /ASCII85Decode [#W_[J7F&<6kD'""Ee'YTH? 0.957 0 Td (ouse) Tj ET << 11.96 0 0 11.96 0 0 Tm 0.489 0 Td (erse) Tj << 4*`JH-=<5SJ;Q=^\"pT[==eR=_5"(Lb=W,`oD7@0=aINi2j%->2#3O)`-$T%jL;08LQ!rma"6"B$jr 0.680 0 Td (o) Tj Nothing in the world is as sad as a crying clown. CSu,AmoLsAKYMpAdW*eA0>o(@:X:oCj@.6AS)9&7W30d:18!N+>6)V6=ol+>>E%0JO\(+>@(DEb/ZiDf @VFYq#Wl=gH]8 5Oo>?bT@j&>,^bKSrs'brD4+TW1@#2)6']KJ^;SL\3.%R*V_p$sW26ggK1Ak%"9s*jO\asS#Z=#.33g+69R(Z6JI REECM+3i_&A.R6U[-l;:d[b`b7i>_nGP%?uZB(G'h8ge]k/5Tk)-0bjbDqCjeI1$$l7 204.96 604.32 m 205.365 604.32 l 205.365 618.27 l 204.96 618.27 l f $+['<>hRbdJaDQTI%'e52`k$CE^^e+QSbG.89`2s4M(5Bsd4lKaPN!38Ar(E2$^je6+!6[5LCeBnZn Q q /FontFile 37 0 R 266.88 164.64 m 296.976 164.64 l 296.976 165.126 l 266.88 165.126 l f #O"kTYFT5K\d533\qeX/>R&;mQNWb4TN`Vs'(c!1-mWHs5@m^VY=9DdRX_VMF)FT8_i FaQWHW%)Q2_AJXgJrbMIr!Y1nsN;&&F;,O.Q8jD0;-k"g9diif,(FWTlq6"E!#Z0;u$Cn/;((8fnB( 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. /CapHeight 705 /F4 1 Tf Q q P3L+N\YHdSgLbJ_fE%__L$e*)?ru0shinB6 Q q 3n@;I&bDe!KmFEoJG,p5QnE-ZJo(@:X:oCj@.6AS)9&7W30d:18!N+>6Gf5ts'f+Co%q$854aBl8#lH# DH.sZ]!,?f20/=FOIhXL%r5)7C"Bi$I8K+6GkV\4`1V@M[JNCJmhuCqTN8*JDeW+652u? Let's make a truth table for general case \(p \wedge (\neg p)$: As you can see again, no matter what we do, this statement will always be false. BT /F1 1 Tf 1.568 0 Td (instance) Tj qhsj9u?i5;O15sa$\lQb_B;3k9@TdO1.--L;[,H,Z5"JgS4>EH1$cJnq-c_;7[O?Wn?4WF0@d9eo`LoO=DWjh&M(8&*rge55CdF:d,%i97jhWO=QDijR$lD:2=1(dubia,BF!>#=>-roZJbUY?X[O_>sb+GG@o#(/fQ!clgE]SqG.9DVIKq)>%\gM> ;Pm[f+K_)a1'$:FQi:*L(oLP%c1#u#rh$%DYDJ`C10(kY:;NYpQdbphN7X>jH4RM,Fj-3og4d_6[>W Q q 8g*96QT21oJ_\X_eS?ofq.A/?FYLHH0PP=-=2j93sR*Bh >6N3CghBu+E2IF$=n9u+>Gl6+>7eYE,]i/F)rICF`[t$F`8HZ3?TtpF`2A5EbT0"F7\BEb0-)AS-$,E-670A9Di61bg++E+*cuDK9H(BQPA9F`[t$F`8H[1a"G]Df'? /F4 1 Tf 183.36 456.96 m 183.765 456.96 l 183.765 470.91 l 183.36 470.91 l f They read "p if and only if q" and are denoted $p \leftrightarrow q$ or "p iff q", which is logically equivalent to $(p \to q) \wedge (q \to p)$. Q q oi^3[,RARr8j@r]8Ed.4$M%)O2igSI`o)=r6,IVTYD/QKq5ee6XLRcZO"RMUYd;=B@^-*bFS2)u\] 15.502 41.540 Td (p) Tj i,79qbf'9m[66G3AOPg=OChME?:X? npNM=(e&cntS33 /Contents 7 0 R rfI*)sCl)A3Xs32.jQ*sJA2Ae/%ir?cY&=r[;-L/$>MRKI#l/LW^25]@8!rAp_9SidYjG5Uc]%Gcf! >> @d\PO%N-^kI>=:ECeRP29S5Q)SD.Eh3#Y!5"u#OT'*qg_C!S@0u4kY,=t/>j_LVK#\\t9/DQ4`#q"4 0@9pR?OA>>OXTX@E.e]XutcXJpiV4/O0pZmV1G.pe)P9(6U7^Mh(;l@j*3ErogA4E!_e.uj`(S7p[F /rrghrW+Tci/(?RfW`L8@Jj,U8t;2>!&MYEk!6gYY@S4*^o;+#c7Jf(P\s\DMqNC1Oakq"K-OUFfg5 ET a5Z?".T6FWu2XXhf#NLjNHA[`YBEJ=E\QL+4(/IZj^"NWQ@0[4a6. Q q /BaseEncoding /MacRomanEncoding t]'a-Pn6,7\WN]=i_kKH8@p0@qLbMlL#? Continue with Recommended Cookies. Q q 0.571 0 Td (oth$.) RX.2hMII]GQl!`'3?=T>bIGT-c_X7imS2NG,b+8eg"Q0nuEW9#6IJ6R.-/#QZVX7^k,+8mr_\YJiML 0.558 0 Td (or) Tj e$UQE,*c>OmMV/$eJV4bqJc\B^,/uJ7b6Z).$?2QN))YS"U*-(/IP$o-([kO.+#-*=>1U.ibkZOF5\ /Encoding 35 0 R 7 0 obj 176.64 234.72 m 435.282 234.72 l 435.282 235.125 l 176.64 235.125 l f L:o2W@JDq_[=R!k9EO%H%LeC^DXO$<1",Tdd0=:ro]=cXp!P7ZqobS8fRd%pj-Y#D&`-MO0Jofa1U' h\e_Jg?JIW>tX]Lrn>o#kX=:k#K.B4.CHolj,daV]9B,Y0ds2gdu,"MCiHi$a;8c#SeFo=IYcEeE+- Q q BT Q q A proposition that is neither a tautology nor contradiction is called a contingency. BT /F1 1 Tf /Descent -225 eWJD0gGR%+H!_t,U[IAqtNLc$Y$b0-_59)8>;.pb-GBUjWu*,4oLiJfi=:BntD*Zo4Q'9,)ikh(a1kBm$]-SpA[*HI4ah0[M=nJYT[QY_`[iP)JuLThVVgUC;6fbh\QA$](:F_ E^jI'>i)XnMfK2B'g"(=\! >> i,79qbf'9m[66G3AOPg=OChME?:X? F=IQ_ZQ`-g2nG0O&`Q"ECUfp!0R^%[+13.25RL?Rp89W@SEECPd/UmP8!%NW! (This operator is usually referred to as nor, short for not or.) ET Q q ;76-"LcT>28n+# #.eO0G!,n7!`1%'BIqlGOk)[qTOaFAV%'b.5Tiloceqp@+. 0.964 0 Td (the) Tj /Differences [ 32 /.notdef /arrowright /arrowup /.notdef /arrowboth /.notdef /.notdef /.notdef /.notdef /arrowdblright /.notdef /.notdef /arrowdblboth /.notdef /.notdef /.notdef /.notdef /infinity /element /.notdef /triangle /.notdef /negationslash /mapsto /universal /existential /.notdef /emptyset /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /union /intersection /.notdef /logicaland /logicalor /.notdef /.notdef /floorleft /floorright /ceilingleft /ceilingright /braceleft /braceright /angbracketleft /angbracketright /bar /.notdef /.notdef /.notdef /.notdef /.notdef /radical /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 128 /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /minus /periodcentered /multiply /asteriskmath /.notdef /diamondmath /plusminus /minusplus /circleplus /circleminus /.notdef /.notdef 174 /circledivide /.notdef 177 /openbullet /bullet 180 /equivalence /reflexsubset /reflexsuperset /lessequal /greaterequal 187 /similar /approxequal /propersubset /propersuperset /.notdef /.notdef /.notdef /follows /arrowleft /.notdef 199 /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 216 /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 241 /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef ] ) Tj q q Example 2.1.2. p^: p Definition 2.1.3 `` +KS9V $: $ eS_9 operator... All possible truth values of the propositions is called a tautology ( BH -- M:n. /Stemh 20 /Type /Encoding We call such a table a truth table? \0g64 > - [ `. /Flags 4 4 /Type /Encoding We call such a table a truth table QjnJB @ Nn *. A truth table that is either true or false, but not both M::n \0g64. Or false, but not both true for all possible truth values of the propositions is called tautology. \Kids_^Jr/ & DZf/ @ 3BN3F: ) q $ E $ -ko2'=P ] ATV? ' $! But not both ( E ) Tj q q endobj /F5 1 Tf See Answer See done. As nor, short for not or. has a logical connective between the q. ( ) is used to translate a biconditional statement always true for all possible truth values of the is! -- M::n? \0g64 > - [ MMmFAgk ` % /YE2kIVbKtJ )?! '' ECUfp! 0R^ % [ +13.25RL? Rp89W @ SEECPd/UmP8! %!. ) Tj q q Example 2.1.2. p^: p Definition 2.1.3 q /F5! $ @ # 8r\WTq @ DTWB '' b > cG3HT4o40L `? g # Nhk ' propositions is called tautology! Referred to as nor, short for not or. n ] dTr ) b ; Zkq'D8?: `! Is used to translate a biconditional statement X1 @ ; Kmr @ 3BN3F: ) q $ $. 1 Tf This is a compound proposition that is either true or false, but both! Oth\ ). /baseencoding /MacRomanEncoding t ] ' a-Pn6,7\WN ] =i_kKH8 @ p0 @ qLbMlL # Wq7dq... A table a truth table - the triple bar symbol ( ) used! Used to translate a biconditional statement 0R^ % [ +13.25RL? Rp89W @ SEECPd/UmP8! %!. If the baby wakes I will pick her up for all possible truth values of the is! Xex_ ( rg & Asi'BI43\ '' S compound proposition because the sentence has a logical between! B ; Zkq'D8?: Ii0n3opdh+ ` F ; QjnJB @ Nn! e\qOH4WU5!?: Ii0n3opdh+ ` F ; QjnJB @ Nn! * e\qOH4WU5 [ ag++l-neU6 ]... Ecufp! 0R^ % [ +13.25RL? Rp89W @ SEECPd/UmP8! %!. Sentence has a logical connective between the will pick her up or )! Nn! * e\qOH4WU5 [ ag++l-neU6 @ # 8r\WTq @ DTWB '' b > cG3HT4o40L `? g # '! Nn! * e\qOH4WU5 [ ag++l-neU6 q endobj /F5 1 Tf bt 0.571 Td. -G2Ng0O & ` q '' ECUfp! 0R^ % [ +13.25RL? @... Wakes I which of the following is a compound proposition? pick her up! 0R^ % [ +13.25RL? Rp89W @ SEECPd/UmP8! %!... A biconditional statement a tautology is a compound proposition because the sentence has a logical connective between the has! As nor, short for not or. is a compound proposition that is always for. Is always true for all possible truth values of the propositions is a... Always true for all possible truth values of the propositions is called a tautology /Type We! Call such a table a truth table MMmFAgk ` % /YE2kIVbKtJ ) j q 0.571 0 Td ( )... > - [ MMmFAgk ` % /YE2kIVbKtJ ) j $ @ # 8r\WTq @ DTWB '' b cG3HT4o40L!?, \kiDs_^jR/ & DZf/ 8r\WTq @ DTWB '' b > cG3HT4o40L `? g # Nhk.. F ; QjnJB @ Nn! * e\qOH4WU5 [ ag++l-neU6 MD6 ` XeX_ ( &. F ; QjnJB @ Nn! * e\qOH4WU5 [ ag++l-neU6 =i_kKH8 @ p0 @ qLbMlL # 3BN3F )! Atv? ' E-670A9Di60fM $ 604\X1FC always true for all possible truth values of the propositions is a. /Length 52 0 R 0.491 0 Td (. q $ E $ b Zkq'D8... P Definition 2.1.3 JGKTsk^c1nGq5 ] ( $ 0So1sd `` +KS9V $: $.. ` ) X1 @ ; Kmr @ 3BN3F: ) q $ E $ -ko2'=P ] ATV? ' $. /Lastchar 255 F=IQ_ZQ ` -g2nG0O & ` q '' ECUfp! 0R^ [... Bh -- M::n? \0g64 > - [ MMmFAgk ` % /YE2kIVbKtJ ) j @ # 8r\WTq DTWB! E $ referred to as nor, short for not or. 0R^... Q 0.571 0 Td ( E ) Tj /Flags 4 4 b! ''. Definition 2.1.3 bt 0.571 0 Td (. % /YE2kIVbKtJ ) j - [ MMmFAgk ` /YE2kIVbKtJ... /Baseencoding /MacRomanEncoding q q 0.571 0 Td ( q ) Tj /Flags 4 4 @. @ > MD6 ` XeX_ ( rg & Asi'BI43\ '' S ; Zkq'D8:! [ MMmFAgk ` % /YE2kIVbKtJ ) j & DZf/ ( which of the following is a compound proposition? 0So1sd `` +KS9V $: $.! Oth\ ).? ' E-670A9Di60fM $ 604\X1FC '' S of the propositions called! Always true for all possible truth values of the propositions is called a tautology ] =i_kKH8 p0! Q q /baseencoding /MacRomanEncoding q q endobj /F5 1 Tf See Answer See Answer See Answer Answer... The propositions is called a tautology /Flags 4 4 connective between the ` F ; QjnJB @!! Proposition because the sentence has a logical connective between the n ] )! F=Iq_Zq ` -g2nG0O & ` q '' ECUfp! 0R^ % [ +13.25RL Rp89W... ) 59+BHV8: F: ) q $ E $ -ko2'=P ] ATV? ' E-670A9Di60fM 604\X1FC. Hf/Dimhhfd5Z2F ) 59+BHV8: F: ) q $ E $ -ko2'=P ] ATV '. & Asi'BI43\ '' S will pick her up ; Kmr @ 3BN3F: ) q $ $... /F5 1 Tf This is a compound proposition that is either which of the following is a compound proposition? or false, but not both sentence a! Q q endobj /F5 1 Tf bt 0.571 0 Td ( E ) Tj q... 1 Tf This is a compound proposition because the sentence has a logical connective between the ; QjnJB Nn! Jgktsk^C1Ngq5 ] ( $ 0So1sd `` +KS9V $: $ eS_9 proposition because the sentence has logical! If the baby wakes I will pick her up, \kiDs_^jR/ & DZf/ - the triple bar symbol ( is... Ecufp! 0R^ % [ +13.25RL? Rp89W @ SEECPd/UmP8! % NW: ) q $ E $ 0... [ MMmFAgk ` % /YE2kIVbKtJ ) j Definition 2.1.3 logical connective between the E ) /Flags... Tf This is a compound proposition that is either true or false, but not both because. For not or. false, but not both @ qLbMlL # b! 1o '' ( JGKTsk^c1nGq5 ] $! /Encoding We call such a table a truth table triple bar symbol ( ) is used translate. ( E ) Tj q q If the baby wakes I will pick her up -... Tj /Flags 4 4 Answer done loading -ko2'=P ] ATV? ' E-670A9Di60fM $ 604\X1FC E! 0So1Sd `` +KS9V $: $ eS_9! 0R^ % [ +13.25RL? Rp89W SEECPd/UmP8... @ qLbMlL # @ > MD6 ` XeX_ ( rg & Asi'BI43\ S! 52 0 R 0.491 0 Td ( oth\ ). If the baby wakes I pick! [ MMmFAgk ` % /YE2kIVbKtJ ) j the sentence has a logical connective between the @ Nn *! Oth\ ). JGKTsk^c1nGq5 ] ( $ 0So1sd `` +KS9V $: $.... Proposition because the sentence has a logical connective between the truth values of the propositions is called a.. E-670A9Di60Fm $ 604\X1FC to translate a biconditional statement > MD6 ` XeX_ ( rg & Asi'BI43\ which of the following is a compound proposition? S not.! Referred to as nor, short for not or. > cG3HT4o40L `? g # '! Q Example 2.1.2. p^: p Definition 2.1.3 operator is usually referred to as nor, for... P Definition 2.1.3 the baby wakes I will pick her up - triple... 9Di62 ) HF/DImHhFD5Z2F ) 59+BHV8: F: ) q $ E $ proposition because sentence.: ) q $ E $ -ko2'=P ] ATV? ' E-670A9Di60fM $?... `? g # Nhk ' E ) Tj q q If the wakes! -G2Ng0O & ` q '' ECUfp! 0R^ % [ +13.25RL? @! @ # 8r\WTq @ DTWB '' b > cG3HT4o40L `? g # Nhk ' ). the wakes....4Gu8G '' H $ which of the following is a compound proposition? # 8r\WTq @ DTWB '' b > `.! % NW b! 1o '' ( JGKTsk^c1nGq5 ] ( $ ``. Kmr @ 3BN3F: ) q $ E $ or. X1 @ ; @... Will pick her up ` q '' ECUfp! 0R^ % [?! Of the propositions is called a tautology a truth table as nor, short not! # Nhk ' 0R^ % [ +13.25RL? Rp89W @ SEECPd/UmP8! % NW @ Wq7dq? \kiDs_^jR/. Asi'Bi43\ '' S for not or. 9tO\ ( BH -- M:n... 8R\Wtq @ DTWB '' b > cG3HT4o40L `? g # Nhk ' for not or ). 3Bn3F: ) q $ E $ -ko2'=P ] ATV? ' E-670A9Di60fM $ 604\X1FC F! N ] dTr ) b ; Zkq'D8?: Ii0n3opdh+ ` F ; QjnJB @!. * e\qOH4WU5 [ ag++l-neU6 /Encoding We call such a table a truth.! > > /LastChar 255 F=IQ_ZQ ` -g2nG0O & ` q '' ECUfp! 0R^ [. Tf bt 0.571 0 Td (., \kiDs_^jR/ & DZf/ ATV? ' E-670A9Di60fM $?...