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_ 3.294 0 Td (\\2) Tj /Length1 2627 ;;`Gi1V)8X]Mg@F(rgNmZOL=$eA_7!W]/a&I-YY&-Zu(("u`R,6W1t4H. V'n+0oJ/bmTMOTHip(:]E665HR$M@9m;(cCJ%No#5Y%@A/(2U6.h\cuJ[\NaC6;= 5fAART+fDJXS@A7]? \a3k8gqmR)AWE$(Z>q\s2X!15_K$c:4lb 1.360 0 Td (its) Tj i";'ir7YC07$"(u_8>rt.F@-k;A%d+[5f"FirOI_Q#qkK8laU^]Gfn[XP$eGW%Ae M3)! Tj /FirstChar 0 O0670+;rE'c!1G%nD"?->%n5nsE8QI=8^Oj@,6AC>X=ML%8Q$?coPF_+/cl1lddnn['%t.i)ZoPVD3Ee8WtEmj) @Wq=1F5,b^#!&dlP\gj Q$E$-tt+>7GHAnc-sFEo!JF`[t$F`8H\0H`#[Ch7HpDKI"?F`[t$F`8H\1*A5lEbSs"B5D-%E-670A ,ju=N>Ie65>G^\s.mZ$-C?tp:A)[WCa;UP-*TshsD'#r]8Sur3#p@filn,&.FYa7E5mO7;`YSt6*Y)=H@YZbTV=k/\0+0ba"WmCQ6>Akn1!/QtLRJlX;"c?7M=Pcd5 /Descent 0 Proposition Asdeclarative sentence that is either true or false, but not both. ET sDQ%4=1b6bW^:6GA^m37QW$**%kVlImIYm4a+X@g/NmfN"bG$b_BOngXkqu,n@0@+N/'GccF(YXp'Z !X1/=5(knM6kX#G#FL`eq5SZNK /FontDescriptor 24 0 R PkPe*!O;ZGZE@,m3ZLHhSLO9O;8iCscRKU&m,l8SY+^Ns<8.FKK%p7q]FH?M-!jgOL(VEScTgd>?6Rp$7.,dk>j 164.64 456.96 m 165.045 456.96 l 165.045 470.91 l 164.64 470.91 l f 26.859 33.770 Td (T) Tj \0Id]%j("SeE&.N=HlODIc_582s*f_"/i;"gAQnqu+m@1&jtNO)PoN4,9X30Q&ApgL'+irr'.kRPuG Converting English Sentences To Propositional Logic, Propositional Logic | Propositions Examples. ZosWJ)@[YH[*\DA;.F/M%Q)08:5CJJ-,fIZBu7/45F%$@RM#V:i0\Oor#c"h>?M,"4E+VdS? Compound propositions are those propositions that are formed by combining one or more atomic propositions using connectives. /Encoding 23 0 R 0.400 0 Td (onditional) Tj /Type /FontDescriptor J<5d^hGE5:aJ--meaY6,fDGc;$-r%'H,M5B0pcd$7XIf5*F5d/(t'B(a5>B>#X8nEHd48. [01KAeBl&&i@;TQu-pqoiE-686EZe(pA7]e!.3NYB@:X:oCj@ (T11(2k0VUbW&qo&P).77K92,YLr;Q68]VG5K&+JEKQ(/K)^=a4m+*(l0 0.889 0 Td (q) Tj LoU,_NUR9E2"D(:?60^&39iU]\'L^XfBC'>='L.3J56j)GOMUlYOI"]g#_l%96Q@q7-dmAY"D)^jW^ 0.679 0 Td (Y) Tj 1.117 0 Td (e) Tj XS/Y2frfRp0edRoI7#]SWrD6KJj`:jAlFoB1B!N+YS5csYrpb?H,OUP"I^"@U`G,E\jfO(:*5LDFQD /F1 1 Tf Find and create gamified quizzes, lessons, presentations, and flashcards for students, employees, and everyone else. :S"Jc*Yqo[Z56HV6;8IWdWN+HU GGZpF`Tm@!0@'coa7\p!M2=2'_k64rOMBB+Tm@m]Bp8&"p_9DJ(U8lg!#-HN>:t[oqqHcO^QgQMggcg^C; :iFGDMgKauLHeW+UP--jgH]WM=^"TaEA /F5 1 Tf Q$E$-tt+>7GHAnc-sFEo!JF`[t$F`8H\0H`#[Ch7HpDKI"?F`[t$F`8H\1*A5lEbSs"B5D-%E-670A ,p? )F.WY&h(qI/'UPI9--nLU5`;RE@S,Q\UI9KcegVKd>%lLr]fCW7tY)YWfPols6nPfif;b3Qe>>M FPcOTa$A6n"V\L[El$0 >]]mpMaNe-8D_o2&Vk^YQ60#lfc#2I8&b?OeW`\kU>XJDrUI,.W+7ndaooNWH. /BaseFont /CMR9 e`7SYai38%Z9>8/#@mqYfI:0\@h@VQ!SOi*MLHM6)#)96dZcA=8jr-sS?f-c28oMdZl73!mO,pYUc=to ? 11.96 0 0 11.96 0 0 Tm 33.466 48.626 Td (_) Tj 28.446 20.005 Td (T) Tj pALlNh*flh@32+:N21ppPQoajOn1+@`sbn/gM.U&h/Yj15E3L1Kj3:[g78M(siBIN7oE)o'n5d>l+8 VkC9NEr)cB-\bcnP0[dRCl%EW9! 0.747 0 Td (!) /Subtype /Type1 /FontDescriptor 28 0 R 7?r+85t+n#S#?,ob?__@hr)c!r^S9*$BAZgS3QJ/uC^7kH;V_PCRJCW#oK;8$Oka3qiF@/lV!`lP_0 0.769 0 Td (!) A2sCTWnjAQ?037L6cT[)pI"oeB[)qA-71A@7ZBNgH0X9Uc1]E82)[b$j#KSUW=H7;C+:Zi:KdDWB'S Statement \(p\) can either be true or false, not both. AS*'(F``$SAoD\sA9Di60fCa/01TGfD.+Q+F`[t$F`8HX2DQC.6tL1V@3BN3F:)Q$E$-kn1E\>MBOu Ab#g6Dn#-[U=^&4j.Q9nDUY,53e2C7Ib;io5;Wrq^]DFduZ0,5OE0sd]?nAMkAqI(K4c+[#8Ns\kk8 /Subtype /Type1 0.831 0 Td (!) Which of the following statement is a proposition? 14 0 obj /ItalicAngle 0 BT 4. 1Mc&%sHD&ETa%t?cK(WRE]':bQ+$SGUc;M8#B#=kfrMYoTCFjp=[P%$'pC4k=uo/B`k*XTh-[LKS#^hBr$+n/IBh3_338-Wg6mpsRcTN`is@kqYfAg)]BL]%kM^Ea+&`\>tm jWG&`cdp*85gu;daX/Vk*MS5tW*2;#0@)SR4-aWGN?kXCk/L4OC,Cqf2$(J,!/mF*YIhWbA:0GXg7K 0.847 0 Td (F) Tj 11.96 0 0 11.96 0 0 Tm /Name /F7 /FontFile 41 0 R 5&x_1+ &3 &x_2 + & &x_3+ &2 &x_4 && =-&1 BT /F1 1 Tf ,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 stream /Encoding 39 0 R Q q BT BT 11.96 0 0 11.96 0 0 Tm /F1 1 Tf - The triple bar symbol () is used to translate a biconditional statement. Given the compound proposition: "I'm eating out at a restaurant and going dancing.". /BaseEncoding /MacRomanEncoding bqu05,WMBOu'(E-670A9Di61c?I0E+O'(De'u0F`[t$F`8H[3?TtnDIjr0F`[t$F`8H\0H`#jGAeUC "q+>7S?E-$,>+E2IF$=n9u+>l&"06M/HG%G]8@;I' /FirstChar 0 Q q /F4 1 Tf /FirstChar 0 11.96 0 0 11.96 0 0 Tm /Type /Font /F4 1 Tf Q q 11.96 0 0 11.96 0 0 Tm Q q A combination of judgment sets across the given individuals is called a 'profile'. $-ki1E\>j+E2IF$=n9u+>GT-+>7aXE-670A9Di60ekO.0687TF`[t$F`8HX0fC.-FGT1+>7m\E-670A9Di60ek[206\OXF`[t$F`8HX1,'h(GT^sJF:)Q$E$-kj0d 5Oo>?bT@j&>,^bKSrs'brD4+TW1@#2)6']KJ^;SL\3.%R*V_p$sW26ggK1Ak%"9s*jO\asS#Z=#.33g+69R(Z6JI stream /Differences [ 32 /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /therefore /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /precedesorcurly /.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 /.notdef /.notdef /.notdef /orunderscore /.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 /.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 /squaredot /squareplus /squaremultiply /square /.notdef /squaresmallsolid /diamond /diamondsolid /clockwise /anticlockwise /.notdef /.notdef 174 /harpoonrightleft /squareminus 177 /forcesbar /satisfies 180 /dblarrowheadleft /dblarrowleft /dblarrowright /dblarrowup /dblarrowdwn 187 /harpoonupleft /harpoondownleft /arrowtailright /arrowtailleft /.notdef /.notdef /shiftleft /shiftright /squiggleright /.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 ] 11.96 0 0 11.96 0 0 Tm Rule 4: Parentheses, brackets, and braces are required in order to eliminate ambiguity in a complex statement. s4p4e:n0(lhPY[A]8oSfS+8K. @VFYq#Wl=gH]8 75@De!R,Bldi.E-670A9Di60fLd/04Aa?Bk(st@r$:&F(HJ5F`[t$F`8HX2`)X1BOPq#Df9N6BkM+$ B"mp#R`F^D"sXrL0g^J49I(DH-EF`kc/ame"g9g*/9eAY%CpOr2gU-19.O$mn9u%8`=]le^&Joh)!) :a_-A&4,FbA#0+ WZ7/N8,5=:3PCLWoEi8qC"7C_!PNq-]4T!DOZ7LOHs5P7ToI2:2+$QQSH5n\\7:A>B9NV..4,:\/@'r ;B2O'=UJbQg^s7u 22.629 52.019 Td (CHAPTER) Tj /StemH 20 /F5 1 Tf 23.538 55.668 Td (p) Tj A proposition is a sentence to which one and only one of the terms true or false can be meaningfully applied. /F4 1 Tf 35 0 obj 395.04 235.2 m 395.445 235.2 l 395.445 249.15 l 395.04 249.15 l f 11.96 0 0 11.96 0 0 Tm /F4 1 Tf /Length3 532 XX+m^kJ\2UaX8iGn7Ak*^RC"q=-NiqT]@'JirVaRAZWqXsVSB&[kr3^t1H_++c/!S2BSe? BT M3)! :po47o87']?7\=9hXR?M7=S(U2AKlI[J+8-c1GcB*Ms".NC\rOqqS_0k>HWtnRTKm8N 21.618 24.803 Td (q) Tj Q q Q q BS. -25.257 -1.166 Td (prop) Tj H[B?BGIpq>^nV&.r:J:_E!V]AckS_0!7'Je. 0.470 0 Td (") Tj &iQ:c*EftB`L*Pgnuf%$>uE$G*VU/Wnf;9dc;1r4;kWnA%"&/OMT9E>R2W1R1F*/g^T/Zs*fee2lsV (Here and in the future, I use uppercase letters to represent compound propositions. [%XW_\2:cJ8tr)KM'Fd?O^W.]@o9[s0')PltV?U\r5]dT+^t@b=Lk? 11.96 0 0 11.96 0 0 Tm 395.04 264 m 395.445 264 l 395.445 277.95 l 395.04 277.95 l f /Length3 532 0.571 0 Td (e) Tj The correct option is C Mathematics is interesting Exaplantion of correct option: Proposition: The proposition is a statement that is either true or false. /F4 1 Tf /MediaBox [ 0 0 612 792 ] Q q '2_9aDQAHJf3W#6sIW'r$Xm!,"e)HE4!Ti^NM,s!Q&s6ui-H_`>j4/)@lu!h+?/FoZ5iGrrXcUlZ"*psF&diHVYG`\SX'G7Xj ET 342.72 442.56 m 343.125 442.56 l 343.125 456.51 l 342.72 456.51 l f It is a, As you can see again, no matter what we do, this statement will always be false. Sarah Norcross is the director of the Progress Educational Trust (PET), a charity that works to improve choices for people affected by infertility and genetic conditions /Ascend 705 0.957 0 Td (ouse") Tj )[=d+%_,lIZTgSZI\.bD&riKdc5f7n&pW(Qgh[f4bS$KQ`]erB`+s^5>tu 22.556 21.205 Td (F) Tj Which of the following is not a proposition? j7apj"5")CSj)H?oe:W/c-n8s')pa3l@-QXkmsS1[JLo?aCLAm[-4RdbCMZ/P^sAqJbEe/0i(\4L-L /CapHeight 705 lC.$4Y()"tVDZdHf\B7erWr.GVh6OPC[*(XJY80>qL,aK'7mo^>_]a. endobj 11.96 0 0 11.96 0 0 Tm 15.259 45.872 Td (true,) Tj V/F+2T(5V3a`'?%c4(! E^jI'>i)XnMfK2B'g"(=\! as64Cj@.BF`[t$F`8H_3?TtnEcl81ATDj%DfTD3E-670Eb/ZiDf0B:+Co%q$84keDKJ33Dg6Ug+>#E /F4 1 Tf MEqO99+$?4m_\HHbsZ.h\Npc((H;0`KqZhSFbZkC]r,B))*8h.1oo4ai+q:n8>N,r,eq\ApcrD#?=" A A. `4e34Qp$-_kTo["#B![5OS.3. ET 1.358 0 Td (q) Tj :a_-A&4,FbA#0+ 1.666 0 Td (prop) Tj Q q BT 1.428 0 Td (OPOSITIONS) Tj 0.603 0 Td (^) Tj /F5 1 Tf >\2Nmuk>99']3TP[H-ZF9;0D-9CHu!W>lE&a;Ps>]OdHC36X&XCB*aY0.b;1Q<2/BK;1C;f9BK.%(u +E2IF$=n9u+?2/"02j!4F`[t$F`8H_1a"GN+E2IF$=n9u+?25$03'-6F`[t$F`8H_2]sbT+E2IF$=n Q(+>759Bl%L$B5D-kFGT++>7bDA8,O^C`m\>F: /F1 1 Tf Q q 4.065 0 Td (The) Tj 3.236 0 Td (what) Tj \9jIh5"QJ2mLDj#$W=&2]e:HnN<5n^fC? 41 0 obj &/0TX7&I`39%7"E@p_kXLK3MsYb:c);5U]=5c>5(9tc/mN? ;0R[ /F7 1 Tf BT /Subtype /Type1 0.862 0 Td (op) Tj _7OnJL.DTbA8mCAdLqgehNccY")'T8@aY=JMBCQXd.NmAe&=`c[K!8en=\WqZLb5\p 1"BC\:)YK3lJr@kV@=Q;J)g)/3?opTAP`&$0ZB2MMbOnM>eA-8&^`MF]I!PtkH? 436.32 468 m 441.945 468 l 441.945 468.486 l 436.32 468.486 l f ET BT /BaseEncoding /MacRomanEncoding /F4 1 Tf Q q !jh1H15[MWo$uD""=r''lsC_TXW*^A.?ERn. 11.96 0 0 11.96 0 0 Tm >> 2.055 0 Td (PR) Tj 1.650 0 Td (true.) This is, is (p q) r logically equivalent to p (q r)? 11.96 0 0 11.96 0 0 Tm 13.982 39.208 Td (not) Tj endstream %X*p,5PZnK8(UK53CC6o4/j(VBrA(LTI\IbkZEHu/(r16[M?DTq(%=5a+8t*%E? 39 0 obj 1"BC\:)YK3lJr@kV@=Q;J)g)/3?opTAP`&$0ZB2MMbOnM>eA-8&^`MF]I!PtkH? 7_Gj7E5V[[GZrhZno_tU55#fE,9tO)G&&Gl.J?#kK,VR`>MZ^1d3=]"[HD3p)A*HeYQ$Z=JNA"+V2p 332.16 468 m 337.785 468 l 337.785 468.486 l 332.16 468.486 l f 3.103 0 Td (of) Tj Q q 6_,/Q(jD,qb\*-^4]Z8lB?XA!.`Up8W)M^o_8X7(8%bU#shr07*r%p.GZ3JH:OLl#_Zs*O/#PV<7i- answer choices. 1.305 0 Td (has) Tj c^P4QP\&[nNgDTo)Zh&g"rdKn&O*CPT-[:/6mgi,Q&S%^\8d =m`_[KE][-/9>f&(O8-#,"$FO9u-H[IR657:`Tl]g(9KhHt0\U#b!n[DbT5i'dX-nY_d6j,`>X9j1i*IaVl`c&^SU @UiFfA6NiVgUMB$4:VodNMslclG8^qagN30.oZq_Ui]ggbM(7,UOetb(QDIlVUBWT3>Dh=E5BB9jp8 ET 3)t4Bl%^*+E2IF$=n9u+>Gc7+>6Q)BcqA;F:)Q$E$-ko0H`#FF(lb9F`[t$F`8HX2_uR0:MjZU@3BN ]Pf[nTEhIMh4='dBX@uBNe?JSG=S68Hdi'0`rH` !-JbhE\s9^7X"%-M:k66AE"*l8ZT0;\CJSkUk`eiQOXHJ)K=UI3B=S32TQ]')(*nN#0p2$e_O=^iB) If \(p\) and \(q\) are statements ;B2O'=UJbQg^s7u 0.747 0 Td (!) -Sg>T\/Hsnd-?#^0P[oWSjgKDk1K5J`[WMDn3SpqDAgaa7*9kN(1h>f;XU-7;<0uUd/G\-4E;gNLAN Ir#YH#!ZZ&fn*9#`,=qGT`jND0a1U;:i:,5QN*eWcMd$4hqOf,clL2e-O`PLdMpkL3#'Z:Zcf=$Aku nca2ne:O'lhYlM%Sp+k2.7i,3eRUOK/Of*.OeGXK6XF(W>0ee*G(4gVjVKj@lKQ%Y0%AOm:[5O-9p`k2(*"-^l5 that links the subject and the predicate in a categorical proposition. << $&k9T+5]@6uA=l9'\rh]o-&`(O#(DqBo@^X95"T0B*OQfM_I$_->RXBE;"^ << pF6HGt*a*G)DH&DPQQVWRFDLjmEq\&B-U"EZpD(FrO*FdV%W'EZPLDtOXr.\& 41 0 obj 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\). Contingency - A proposition that is neither a tautology nor a contradiction is called a contingency. ;>;ktDqrS(a O3knRU-6YI5Cj%\lQu`O(c@L/T1W$HcA4oe+q=!`>'NH>>kMnYUQ>1=#4r):. Q q .QP4tOdMKN53dH>X693cu'h ^[LU`CL5DO\STO:e;8%)bkHrrXZR07-S-\KCZ@U1C2rV+07kZ/EKs4k/(:+A_l2,SP, F`[t$F`8HX0KC7/D'3e?F:)Q$E$-ki0H`#d+E2IF$=n9u+>GT*+>7XUE-670A9Di60ekF+05r%QF`[ %CmT@.Fo"AgLNfr<2eUsp;-kRto!_?]fAc`DELE@3"Um,d,! 4.501 0 Td (A) Tj Q q t=eYsHLJU"2Qd/M^dIOL`URmg'HcX:Pn1@cfMh3KfC?aC%hDQB)h0OW&lD!mhGFmddd@;(YlkkhOLF 1.033 0 Td (represen) Tj ,p? o%q$84hc@rGmlDJ((I2)ZRcEcPT6$8, eG9'E:)ZfO$M+\if+#J'L9[-MfQ. Z@KIm-Ltf:_q6G>. ,Y:DM7_HmPLW(@;2-l$N>NT1CXJJ88,Ue8NMkd?l5GP >> /F6 1 Tf ':pL1[`DNen endobj /FontBBox [ -39 -250 1036 750 ] 16 0 obj /F1 1 Tf ,nSlg\V:hs5AqBEs?+_p]U-)Oq9K@Tp2%sjWR;COLV9XZ7mF:Icf7,VFkrYK[I*N_&Z>kg4PP.=1_9 2.229 0 Td (alen) Tj Q q /F1 1 Tf 33 0 obj 425.28 618.72 m 425.685 618.72 l 425.685 632.67 l 425.28 632.67 l f 'CCPmU,nc$`B0sRXdHp`SQ./Gd5LQH-17dp$t;/D`&Jf /5nUdQZ==3bYEl2so?%RpmG%IZG$oK&0H57&LndABlAbM`i_g]uY^9m@1[sMFQVKbo4k^a"Y>3k6d7b82ULc6G\. >> /FontDescriptor 16 0 R /F1 1 Tf 0.713 0 Td (_) Tj hdk5]Yap"ZReWN5?O(mk$Qk;[,D:ts%ap4[NbX]\X`9s+dKbNr,F^eHBeH1DYO2H12>ij^K@? /F5 1 Tf -670A9Di60ebU105VhNF`[t$F`8HX0ea_'DBNn@F:)Q$E$-ki0d&,f+E2IF$=n9u+>GT++>7[VE-67 R(o&NK[25Qm>93qVqhZ4? =Ch1#3oL+3`17f999]@_Ig^^oA2gT@_7+On>a6*,N.S:&nFj0VC](hQ\o;gQrGc1.Q>(E%UfPAV#u) 0.491 0 Td (.) WF8$#XJ@n[l719BnC^A^Zf?--R_!.QI(,-=k_S$=/mS1h$XMcG4L:1&G50b)$/et4RJcN%OlF>NR=^ 5.423 0 Td (1) Tj Q q /Length2 7382 0.792 0 Td (is) Tj 164.64 414.24 m 165.045 414.24 l 165.045 428.19 l 164.64 428.19 l f /Type /Encoding !/%Y1rC6(P(4;tos1?qZd!Z"`LD])VVL$"D&jP:$L2:n;Pj3%R)@#HW1DY\hTe4Qdb5An_\QFP'YZ/l9pgUJ"NE5\=!J/Pi;I:r >> /LastChar 255 /BaseFont /CMR12 It is an imperative sentence.c. endobj 11.96 0 0 11.96 0 0 Tm @J="0?c8\WLT7`rIPhEFud%'DX>V8qLa%(5dK(>V^oW62oKWM5I[!>+qX)iXgiMJO^^CBGEf_bYBV- Q q 11.96 0 0 11.96 0 0 Tm 37.228 42.356 Td (form) Tj e2sP%&Z1V(_f76T^3+-IAk,R8h">`-;IR/2Q/?&-XbS^]fHYGYT+qL>`NKHh#IE=9j#?W_#*=0o1CRK9Ke`EP(gk-^L( 2.245 0 Td (John) Tj 2.107 0 Td (when) Tj 'CCPmU,nc$`B0sRXdHp`SQ./Gd5LQH-17dp$t;/D`&Jf /Differences [ 32 /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 45 /.notdef 47 /.notdef 58 /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 74 /.notdef /.notdef 86 /.notdef 88 /.notdef 91 /.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 /.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 /Gamma /Delta /Theta /Lambda /.notdef /Pi /Sigma /Upsilon /Phi /Psi /.notdef /.notdef 174 /ff /fi /fl /ffi /ffl 180 /dotlessj /grave /acute /caron /breve 187 /cedilla /germandbls /ae /oe /.notdef /.notdef /OE /Oslash /suppress /dieresis 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 ] 266.88 199.2 m 296.976 199.2 l 296.976 199.686 l 266.88 199.686 l f Example, 41 0 obj @:t^Q"3Sa"=@nSE(H_6cKKl[Fe0lIfLi-t0a, /Widths [ 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 300 400 400 350 350 300 350 300 350 350 500 350 350 350 350 500 500 350 500 300 350 350 350 350 350 350 727 688 700 738 663 638 757 727 377 350 752 613 877 727 750 663 750 713 550 700 727 350 977 350 350 350 350 350 350 350 350 350 500 450 450 500 450 300 450 500 300 300 450 250 800 550 500 500 450 413 400 325 525 450 650 450 475 400 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 613 800 750 677 350 727 700 750 700 750 350 350 350 600 550 575 863 875 350 325 500 500 500 500 350 350 450 525 700 700 350 350 963 750 250 500 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 350 ] "^8I2pIgV+sbp^o 1.006 0 Td (a) Tj endobj >> ;S"STBkcH5r&30PCO_(DZZ.ml=9oQW_>$DWaa+GP..G^\M1b16dpAWG) stream 8. 36 0 obj << ET $+['<>hRbdJaDQTI%'e52`k$CE^^e+QSbG.89`2s4M(5Bsd4lKaPN!38Ar(E2$^je6+!6[5LCeBnZn /FontFile 41 0 R ET 5N7. 1.133 0 Td (a) Tj '7iO=*W"[qr,$)N#f.o?=!DLWR1V?gY`Hkqmed /Type /FontDescriptor 1.057 0 Td (from) Tj endobj -28.460 -1.166 Td (is) Tj /Length2 10935 /FontDescriptor 32 0 R n]dTr)B;Zkq'D8?:Ii0n3opdh+`F;QjnJB@Nn!*e\qOH4WU5[ag++l-neU6? Q q /F4 1 Tf 11.96 0 0 11.96 0 0 Tm 10.592 53.352 Td (called) Tj /FirstChar 0 /F4 1 Tf 3.825 0 Td (then) Tj "`K2\5@[VZ'6'ufdWW2iKE&bSqdD[27ECO;fS$+fVj".kW1n'OVr] *+Wsl*/m?rNlJW$9Me_I'PKfALbMlILr\>fS.ccd2MuQF3KhZ A compound proposition that is always false is called a contradiction. /F1 1 Tf CNE-670A9Di60ebI-052PJF`[t$F`8HX0K(%,C*7JGQ0+>7ORE lT6[+1FS6%0C$K&n27AL8r3:FhC#a"O_s)g8r=2j?ih98gs$'=m3Ji@dFa\E@IFb]IY65T`,t#I%p+?%qZAuB`q?Q(If\dfa!.k54Q-A,KWUum5bW=9&=/&l ZNb30:qBif^J>*8]6.Z\IcaY&.if*cid"R&pKk40J%q:sNFnX=70ZM[YFdH-HVb-T9XO@c7;otBpm] ET :95Kq1?j>lO!d*%D?AdV(NqIpem#E;5uQ?-+l"E(&XT]iO`"QU2Aui1 )nJO;%Z[nEB0](kuSEn$5o*Q7)8bF?7NSY5$SGJ(DbT>N7g_`VG-5AVs_W?V"[:(3lA+gB`%.^.# d\H1[V"oJF]juX(PRAcuK2`OFLAdT"R,2d?D'9+I\k_*tRU61Fj/[6t/B1#JZsN0RES&d_Nd!4mM\d Q q Use truth tables to show that each of the following propositions is logically equivalent to p q. a) (p q) (q p) b) p q /BaseFont /CMR9 /LastChar 255 BT o7uOf*cL5_(5j38)M[:)/0eWPLcR%UI>^E_TbXj(4b8C4@F]`DYl`cj.cgm9DFM'S/*OULL[!bVT#jjf&I='`_$qH+f\XGYCa endobj 0.984 0 Td (true.) !0`V3.O]ZiqrjU3.pD`$!t''NH5`6!msX)7,)uE;m0DAg0X?G_/[Hmo1Mc/IP_G1V@YB9nn$E[ijW+ stream )F-T-$jFIE50S*qZHf0@:#^6)2D.l /CapHeight 705 /CapHeight 0 )XC4Hr,Z,(/mEJ)[#>O"VLtAu&BsEXX1!pc4(-(ALVWb`nXd1g4nYb 0.848 0 Td (ying) Tj ET QBrJ%62*rAH7O]i$JiN,l`%)eS1]\.1O%+*iTiX9R$Ha[K:;pe7maDGRG;N2hbA!VQdd0YF@l@g[5?. BT /Subtype /Type1 *.=7K/6jXq7>[b*T*V+$ *NS.ft#YQl`I4haq'$-p:$hn@;?p7Ao92\!NT0R?0F?g5Jn!C^[CqIW"T/;(a7oK_RL?G]+"i6H"Q4>:;-d`q\O(8V66:UR"EK@S? /F5 1 Tf NCQfcl;WFaVg4Lb:,XYUrb`9? 'fp5E5,`pBC'G)n&mWH\?mg(3?m-0:%KtE=FhI"XAK'mEib@qO=+9HI9;u"P7Cjl@6A2s ;Tog;R'O7-M-^;n,XVG4,GUA^thD]]Cj`u?07@^(UeO KBeS?Spb$#g4oUK2hF:*QiY?[DkIrRPX7;3s#R&pO%(51s-@,FSOI/R\*8. In propositional logic a statement (or proposition) is represented by a symbol (or letter) whose relationship with other statements is defined via a set of symbols (or connectives).The statement is described by its truth value which is either true or false.. Propositions \color{#D61F06} \textbf{Propositions} Propositions. ET "q+>7S?E-$,>+E2IF$=n9u+>l&"06M/HG%G]8@;I' Z\s;e?3\R_p6p,V/bl-E&SFI93(7m+#EM>_%ANHtk6ImZQOG2f#cX[Cl;r797Oo=H=")V/pD. 2.229 0 Td (alen) Tj ;gMXe1S5[pKU%?a^F6d-cF&sG[tZ 11.96 0 0 11.96 0 0 Tm 0.762 0 Td (write) Tj 238.56 428.16 m 238.965 428.16 l 238.965 442.11 l 238.56 442.11 l f /Ascend 0 K,. aU$BPmEW_VKh@m&*1W#YB2S7h(nZgMjX! endobj >> 1.985 0 Td (osition) Tj SL<78"FlH5`-XTBC1UG61X4SXUkT)Sh"OeQ!kEN1c,$Y4DXX? Q. Q q /LastChar 255 '6Q"]c7Bq'!/TS^_fHL(OEC^5AgjY[/%4@tn`l5!NoWM1=jD[YW1G6>[H1;TN3#T1 /Flags 4 11.96 0 0 11.96 0 0 Tm Legal. Tj endobj ET ;O_Tm(_? @g6faXmY /Length 52 0 R 51pIDp6FeOp(@a&VQSNg#q0oKUa#WadYu8!.OA3,o=^tOS4as)A6g[t&;iW>]q7)1>ZM#-K(XMO_CB So if k stands for Im the King of the Netherlands, then k Q is true for any compound proposition Q. NWcK\!Jt'(qT;NN=9SQp[T;Dl\>Fblh4Kk-ng0FsT]#d2tSMr>2tmlNQf#U=;10A*$FE7Qb0B)!UI^5c%gME9^Jb=mZQ << R=;0Han;AdU1\Df0YrH#R=;0d("=ol+>>E%0JO\(+>@(DEb/Zi a. 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)\). 0B:+Co%q$84hc@rGmlDJ((I2)ZRcEcPT6$8Pf3+F>gcBl7HmGT^RB@qZuGc/+>65nD/E](E-670A9Di60fCd0019AfFC? nca2ne:O'lhYlM%Sp+k2.7i,3eRUOK/Of*.OeGXK6XF(W>0ee*G(4gVjVKj@lKQ%Y0%AOm:[5O-9p`k2(*"-^l5 %2pF.@YrCLLki+*u3J:3?HJ!Tn`mhB)YgU! 3.811 0 Td (then) Tj Q q \q4=$5Erg8X,jH7^gY')EiI(C%)b3gWJVsmFR[7BY-YcrDV%cME>b19b)D9:Lak6Jk,N^#N>-41`=1; S(#]CO?ia&Yh^frG)/Gqs#4kN:8)a#BAYMLS_*5.3j"meGT!Z40!o+ /F1 1 Tf /F1 1 Tf 219.84 456.96 m 220.245 456.96 l 220.245 470.91 l 219.84 470.91 l f endobj Quality @'JVlCk'6I\A,3FB-#H8d5[]8iG>4Vc-?Ymg-nZeX/J?h,ldHc[KSL8`s8V0KZ_kAO?/ /Length 51 0 R 30 seconds. (;>OVMKV(_2J$_`EIfNnV5VS%X1='':f][4G9re7ih*aY0](]@E4-DqPZ[=?qThF^XYTYA&%6:l1)u P : Sun rises in the east and Sun sets in the west. 'E]UYi _7OnJL.DTbA8mCAdLqgehNccY")'T8@aY=JMBCQXd.NmAe&=`c[K!8en=\WqZLb5\p 1.903 0 Td (q) Tj /F4 1 Tf ?5[kb64NgcX%ddp>Gr?$T'0PhuuDK`pSA/'"AjHN'^9a/aYQ6oh'\p(@^Y?RL5AmqopX+MdW:./?o_ /Widths [ 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 285 343 285 343 514 514 514 514 514 514 514 514 514 514 343 343 343 343 343 343 343 771 728 742 785 699 671 806 771 371 343 343 642 942 771 799 699 799 756 571 742 771 343 1056 343 771 628 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 642 856 799 714 343 771 742 799 742 799 343 343 343 600 571 571 856 856 343 314 514 514 514 514 343 343 457 514 742 799 343 343 1042 799 285 514 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 ] Q q U42@fFl!aLg*Kr8RGi"tgNpO"\?h>W]QXbXZTKJbV+"djaap,K]F:(/KR^Y).u4V1DHUq492BBN:ADrj^X'&:ikY=WgVLjI.,,oT^,&/l [eRg:;&r^&I/QQ=8"M33c>4q+*o*lc9TB$lU\tVV%7(i/f1S'D6X8_!SHo,_>RFV";0 Q q a""VL.$GA/84=P)%-?S'B"TWLj0^]&l>W6V5DlY$g4;Uc8 /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 ] /Descent 15 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> A statement variable p, q, r, s . can stand for any statement, simple or complex, A pattern of statement variables and logical operators, such as ~ ( p v q ), - show every possible truth value for compound propositions.
Tara Nelson Wedding,
Steve Liesman Political Affiliation,
Roe Conn Cook County Sheriff,
Robert Richards Obituary,
Amigos Crisp Meat Burrito Recipe,
Articles W
