kp3$9knBcqA;F:)Q$E$-kp3?TtqBQ##4F`[t$F`8HX3A;R/F(o9(@3BN3F:)Q$E$-kq1E\>iBPAT.F 0.826 0 Td (is) Tj $P`%)o4?j@NI%KoeU93j(]dSIJ.9f[PF3U$b7Cok2b\1N)Cign0P/ud[kS/B`gpgWPb6'5gLrC [4"4&8W6qN)]CcT[aNbuO`%M @VFYq#Wl=gH]8 /5nUdQZ==3bYEl2so?%RpmG%IZG$oK&0H57&LndABlAbM`i_g]uY^9m@1[sMFQVKbo4k^a"Y>3k6d7b82ULc6G\. V*;R.og/L!q'(ig&uc,>MCCAZj]$Q!tuO/'1SOeoc6'_X"FN9,/8T*;5C!&.TpM7h(W8K#^A!hqAO- 0.597 0 Td (Chec) Tj /F5 1 Tf 0.400 0 Td (dent) Tj '/)l#j>`4?iH1%k:5-Z*N',(SEMCcKeT+=518RE ']\Ocg?_Epo(ESX0brlt)6Z-c,jjH? puO&][XPK7A.mB,>u'X=Y;@1A^MDI;VAn8]Yb*F?enqu'KKT?QNg@-&2_kgYDWf(>dE]h)3@b@Aq8LS= (e8eqX0]8pY^kT+ 38 0 obj FPcOTa$A6n"V\L[El$0 The truth table definition for the conditional shows that for any combination of truth values for p, q, "p q" will have the following truth values: The truth table definition for the biconditional shows that for any combination of truth values for p, q, "p q" will have the following truth values: Discrete Mathematics and Its Applications, Allan G. Bluman, Angie Matthews, Dave Sobecki, Find the slope of the curve at the point indicated. /F4 1 Tf 1.277 0 Td (q) Tj Q q 3.158 0 Td (q) Tj /F4 1 Tf Q q ?QmF!0U,UN'q$dWd%Oi+[f!.lH2?b"[:cc60I\VB8o5H2OkY-LY(-ciotL\U>]EOSL\5f3AR6hq%L< NqX%Bi_"hK8iYQPnX;[`kn6$X5H_GUo:Eo_f"/I=Oi7Uj:"+n6^T)*lN9:8r!>/=]c"B0b1^GeVaJm 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_ /Type /Encoding /F4 1 Tf !E*Hr&.>'09\FHTr&Ad]:j!tDVZgZ ET ?dSL1uumr)d_8;8R/:.AD7X.^2:u5(aa"pUJk+,C2-LRB_Z,FgeS8=Q:i>7'uTajqG*.XZDRB"/pG!kUdMd +E2IF$=n9u+?2/"02j!4F`[t$F`8H_1a"GN+E2IF$=n9u+?25$03'-6F`[t$F`8H_2]sbT+E2IF$=n Types of Propositions- Atomic Proposition and Compound Proposition. /F1 1 Tf 0.862 0 Td (op) Tj jc]n`/(dIbKm:O.9]q(g)/o%kPcd38GPD#l!kI#k << Converting English Sentences To Propositional Logic, Propositional Logic | Propositions Examples. Q q 311.04 618.72 m 311.445 618.72 l 311.445 632.67 l 311.04 632.67 l f ."[X3\JNuB_jK0j%!Z4cpKo,R*KE1Mn\!?Pt^$-s3(jQrED!V;2^e+1lP/.=. Q q 1.713 0 Td (t,) Tj 2.370 0 Td (Illinois") Tj GGZpF`Tm@!0@'coa7\p!M2=2'_k64rOMBB+Tm@m]Bp8&"p_9DJ(U8lg!#-HN>:t[oqqHcO^QgQMggcg^C; J<5d^hGE5:aJ--meaY6,fDGc;$-r%'H,M5B0pcd$7XIf5*F5d/(t'B(a5>B>#X8nEHd48. 1.825 0 Td (,) Tj )(]2]F>7C^9WDt4NKP_6*.J/tKCiESUY[mIer$epAo1-"=15Qa(/KX&iAskZ=aE-@Qi2bSMT%1uKV1 The statement reads "2 is less than or equal to -3", or "\(2 < -3 \vee 2 = -3\)" and can be broken into two component propositions: Because propositions \(p\) and \(q\) are both false, the statement is false. 22.764 43.453 Td (p) Tj Q q 15 0 obj /Length1 2140 /LastChar 255 37 0 obj lSm1tn%5qFRL6LRI81(&MXG3I&mcK6d[0[B#V]135i@,*2m+Em\Ep//BC(cS8J8K2t0`U#:T\bpD.= -28.927 -1.166 Td (p) Tj We also acknowledge previous National Science Foundation support under grant numbers 1246120, 1525057, and 1413739. ]b!1o"(JGKTsk^c1nGq5]($0So1sd BT /Type /Font [d0VObI-e$m#,fmlQph\!bn>JiA5%#N_FJd=AM\mNXn @ ;2F`[t$F`8HX2DZI/Gc6+ 5.423 0 Td (1) Tj A proposition is a statement, taken in its entirety, that is either true . /FontDescriptor 36 0 R 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 30.727 40.441 Td (\(false\),) Tj << ASu7\MF`S[EF`[t$F`8H[1a"G]Df' Q q ET 26 0 obj H=K]EOt>HU",L\,C3\fmPlSm6VT?0oV5EXp7:s;pc6@d%Q(#>N*a59uupb1EuhCUYQ`p(l=,_)PLUqe& Software Testing and Quality Assurance (STQA), Information systems and engineering economics, Answer D. the only odd prime number is 2. 4.21 The simplest kind of proposition, an elementary proposition, asserts the existence of a state of affairs. /Length 51 0 R 2.406 0 Td (that) Tj '/Yi7mEK[=H^+s"PBXW[7EKo'K-G$rRhXP /BaseEncoding /MacRomanEncoding /Length 53 0 R :qmg,"/MmG*3/MVSkjPL%>([^2=\t4hItu;fe7H;`mouV3HlT,$4LpTh5]nfhG?t[1\sK%tQ5m1-VA3kd'*qo3g"srPAKP)_4eYs$5t[:B24pQCipMO:Q8WFSOKRqCZYFRL>0%IB!D@ ,p? 8F`[t$F`8HX3Ahp4F*2G@Eb0<5+E2IF$=n9u+>Yer04fB7\FEarZuF7_WDffQ2BkM+$+E2IF$=n9u+>bbp05t?? 17.554 54.468 Td (T) Tj .4gU8g"H$@#8r\WTq@DTWB"b>cG3HT4o40L`?g#Nhk'. 0.713 0 Td (_) Tj Tj WF8$#XJ@n[l719BnC^A^Zf?--R_!.QI(,-=k_S$=/mS1h$XMcG4L:1&G50b)$/et4RJcN%OlF>NR=^ "S,W(Koqr,Bi\U8#u#I+sXt^tKR#g [03)n(EHPhp 11.96 0 0 11.96 0 0 Tm Q q 41 0 obj \(\neg p \), Not \(p\) (i.e. /F4 1 Tf !YJgrj5eeiXS-9Z.XTM)rkjG+96X^LZ%]0'8?AeQ:1:r25Bj/*!n0SRo, 11.96 0 0 11.96 0 0 Tm 164.64 442.56 m 165.045 442.56 l 165.045 456.51 l 164.64 456.51 l f J?KL"RS$27R2Wn2PP&*FM'1@-_5Y'1IgA[?H2"2me>*mC_%tYjXZsC$-c#83?oq3#Xl&.d8c[I)'I81qCP/K BT BT /StemH 20 3.513 0 Td (ted) Tj /BaseEncoding /MacRomanEncoding 0.769 0 Td (!) 11.96 0 0 11.96 0 0 Tm 53c["IS7`!D_lL;L! Q q ]=ptWiN\'5mW(dAE8gN5&T-dh?WZT5(>)ieU@c?_QSTbGHhD*M1THI)+oDT`\TOt/hQehFgl6r5]rj60O\^$>eZ=ImEL8(emJ&ua#`+f 11.96 0 0 11.96 0 0 Tm { "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. 2.518 0 Td (Con) Tj << .3OYY9W$XkkG:4oQ^>,38a9,4JL,LC]T)nnF"PHKDq lC.$4Y()"tVDZdHf\B7erWr.GVh6OPC[*(XJY80>qL,aK'7mo^>_]a. k!>8,KN?ZPLoRhDASAMLF+Bh/0/m;p>s,$_Sp0BZjBP*!$g/#NZ=fpa+s8WmFIUNiZ)dO*6O`4K/kg3BnO40egesfBkn>QCbWU^ 194.88 264 m 195.285 264 l 195.285 277.95 l 194.88 277.95 l f /Type /Font The reason why this is correct is because it's a compound proposition. ,p?)`/O..3NYB@:X:oCj@.6AS)9&:2b5g@q?c26Z6phEbT0"FdART+fDJXS@A7]? 342.72 428.16 m 343.125 428.16 l 343.125 442.11 l 342.72 442.11 l f /F1 1 Tf 16.048 50.870 Td (F) Tj << m*XD\gI>DAZgF##HosM_nl+c2-K]H+&=+F-i']Ic8EU_q1%f%^;1rthk[)/9V1rj4)0)7X 0.400 0 Td (e) Tj 33.579 52.069 Td (F) Tj 2.099 0 Td (ositiv) Tj ko`a6RZ,EIOH2[Yj4tndYRpW#l5CJ```![3'GI$!mB%cUN*ePhYThtpg1:)Ae! ET 6^J4%K'nM;bE8ElLptXLU3;c+=-!+Qudqq^%W7S7fE/2T8TPBfa;lU;")IHFKor9E@ST,1Jr#(65). /:^Sa-Fd3KHS2Tfk@*aGr:9f[\gApUjr`Pk_TaWY`nH"E>6?R5]%>FAA;>Wb[\@fjrH0@)i4etYElD Q q ET Logical equivalence can be defined in terms of tautology: Two compound propositions, P and Q, are said to be logically equivalent if and only if the proposition P Q is a tautology. R_hu/XY+^KY7LThVgnJCn)]J^]kBo:qfqU!K.NTPlq:&NDQ+A@9r/T_]1qneC:eBkQ4J+_0[(GSiD> IF$=n9u+>Gi3+>7PBF)to4F^])/E-670A9Di60fV!405#F:)Q$E$-kp2]sbpB :apB8o?=EE:sjnf@^NNN(k)>2lA-E-?MiDHu?H" `>OTA[6g.fH"WrMIUmjX?P8k!2o,O'i6V(;.B46RHJt7=2hWmj=Ruf\=6-g]=qIV"7$nZZbZ'M\b*q Q q u<9*$aa%Y`Na4ah/cnWk*jKEU0=0NQpR5)6QrsSRpc&=1e:C4#2(sZM9po#1'!ip>.T(*D'r>P#5d5 .1E\D.1GL",0JG;2Eb/ZiDf0B:+Co%q$85CsBlS9,=BH\'0JbFD3&)OdAS)9ZF`MM6DKKE'@rri)DI BgItS(91rU-[.>[%C>r9)rtcNoeJZ#B`()F!p"iIOrh`Q^t1jSh5TD;uKi&$?8:nk 0.747 0 Td (!) @VFYq#Wl=gH]8 Q q Logically Equivalent: \(\equiv\) Two propositions that have the same truth table result. 30.197 50.870 Td (T) Tj Q q 11.96 0 0 11.96 0 0 Tm 31.832 52.536 Td (and) Tj >> '/Yi7mEK[=H^+s"PBXW[7EKo'K-G$rRhXP 9_Gg$P3u'bhSU;p&FjLfraZ]KX1J!r)nri'lY\;5?O5W*C-LM00JT 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. 5j_CdRn7Q$OFR^,O1_i/R5QG&hf&Y'4T\1etKm:VDILYPSG05]GM6GN9G!4WV9gcd0eDpQ7GV$bbXT ]ccq*sm5Y%Ldka0XJWDQs`0`@f/OH-HCI"f^V4bS8lI@9bhi!Hi?QmNs;&t:#80Vup24f$ puO&][XPK7A.mB,>u'X=Y;@1A^MDI;VAn8]Yb*F?enqu'KKT?QNg@-&2_kgYDWf(>dE]h)3@b@Aq8LS= Which of the following statement is true? See Answer See Answer See Answer done loading. BT 28.103 16.119 Td (q) Tj Which of the following is not a proposition? /Type /FontDescriptor 75@De!R,Bldi.E-670A9Di60fLd/04Aa?Bk(st@r$:&F(HJ5F`[t$F`8HX2`)X1BOPq#Df9N6BkM+$ 0.791 0 Td (seen,) Tj oi^3[,RARr8j@r]8Ed.4\(M%)O2igSI`o)=r6,IVTYD/QKq5ee6XLRcZO"RMUYd;=B@^-*bFS2)u\] /Filter /ASCII85Decode "+E2IF$=n9u+> 1.775 0 Td (c) Tj 3.336 0 Td (is) Tj 186.72 632.64 m 425.643 632.64 l 425.643 633.045 l 186.72 633.045 l f j7apj"5")CSj)H?oe:W/c-n8s')pa3l@-QXkmsS1[JLo?aCLAm[-4RdbCMZ/P^sAqJbEe/0i(\4L-L Q q 2.446 0 Td (ositions) Tj $+['<>hRbdJaDQTI%'e52`k$CE^^e+QSbG.89`2s4M(5Bsd4lKaPN!38Ar(E2$^je6+!6[5LCeBnZn 4. 11.96 0 0 11.96 0 0 Tm 23.783 35.693 Td (a) Tj (Dq&VW="bLppDR@3cZZc Q q %J=2c3nM>?#^!RW@eV&6qI"2SGRm;b)dJ*Z@TG^T[-[A8S4'K4UNE: gHRsVG%? 11.96 0 0 11.96 0 0 Tm 25.840 40.024 Td (is) Tj B]9E5u,)\cML,aiI#L.\;PC9H"+m94&\W0'AJX,3i)Ss%rPDPuPbO-Ic;$G;>5W05W0obs$3Bf3 (I^#h/a,u"rKqgF0aL4k/k3h*hepN5fHpWYBR80&F0g1#adpo4Dj15#.VB& (8!QQO&01Dl7[MhH&*5GU`MT,%Y^bn+?`;6;-;EZ5:ij1NTfHj(!csp7=I19ARSAp@K0[Qags[Dd5Z /F4 1 Tf ;rCjmDh":idJTsb1tppft*3LR[-mnODZD&E-dA5CCI$&22LofWKHQKSVNTgT )`/OP0ea_*/hm\Z,su]a@4%DF@oTANCqg3B8l.DKKqBG@bf++Co&)BkM?,+EV:.+@0jUEbT#lDBMY^FD,6&@ )2"g\MR[=RE7RQS$+dI![E^-m?%C]9&\B`;*ck`UkGr03j@Zofa/M#YN%#WK5m/%9l6bh.%p?UV'!IC0eakW.R\g]Q+K*. >> "q+>7S?E-$,>+E2IF$=n9u+>l&"06M/HG%G]8@;I' /Descent -225 A compound statement consisting of two conditionalsone indicated by the word IF and the other indicated by the phrase ONLY IF. ;L>\lte$V3p>Qb=UKf>coQKL$=ho\3p.WNpL!X-'Li"CORZV2Y;F"ZIZWH+j9t0)-IPQ,O?N\e!Cd& _5_sc%%"eAtV=nEkcrnCbY-cPsph/Y?T(3Qeo/\1I$\\XrE1lp*\*#.C:'#UX9mqPG+5AD7!4/#JAU /F2 1 Tf /F4 1 Tf BT A. Q q L=_(HrX/erPjpcR*U!,hPOMrBlMc^e-D6&[,M1Lj]l5nm``XQ?9g]Chf#1C!1C&8QbhN-)^_^bLOHh 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+> _7OnJL.DTbA8mCAdLqgehNccY")'T8@aY=JMBCQXd.NmAe&=`c[K!8en=\WqZLb5\p ]G^+lUCP(SlnHEdb"C2@L(od3U#jI'"=7G<3@mqo5i5gs;'[2=6$!d!be]3]/>k-&u/) Example1: The following statements are all propositions: Example2: The following statements are not propositions: The lower case letters starting from P onwards are used to represent propositions, Example: p: India is in Asia A compound proposition that is always false is called a contradiction. =HHTs?<0l3&4)AucOtoIWob=C(@6j\RD':d`$nX[5q8ZpT'+9k)a`'De%4ZS54D7h"R^"eJ(Y)t7HI endobj Q q 165.12 399.36 m 447.234 399.36 l 447.234 399.765 l 165.12 399.765 l f 20 0 obj endstream /F4 1 Tf 3.695 0 Td (if) Tj SV;>I2DQqSi^H\@jqUjD:SQ2!pft@,0j^2]ZmHDA5"LAR%_XXjj_JBZU.M["m@K(h(aj:t9KGqq\FN Q q E^jI'>i)XnMfK2B'g"(=\! WF8$#XJ@n[l719BnC^A^Zf?--R_!.QI(,-=k_S$=/mS1h$XMcG4L:1&G50b)$/et4RJcN%OlF>NR=^ endobj KR3=7&T6Z6phEbT0"F^/he^sEb/ZiDf0B:+Co%q$85.mFD55r+=KTqE-ZJ=ol+>>E%0JO\(+>@(DEb/ZiDf0B:+C .QP4tOdMKN53dH>X693cu'h 0.889 0 Td (\() Tj Tj /Filter /ASCII85Decode qA9=,JL19icGY4.XN>W_170MYHr2H+O(N=(u6@Sem!77re*ELWh=!(Z:'Lh"m.QH6`t5]_OBkHIcd*4`a#Q$'pf/s! Tj Q$E$-tt+>7GHAnc-sFEo!JF`[t$F`8H\0H`#[Ch7HpDKI"?F`[t$F`8H\1*A5lEbSs"B5D-%E-670A endobj 17.287 33.770 Td (T) Tj *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? /ItalicAngle -14 It is common to use a table to capture the possibilities for truth values of compound statements. hBPf/=Y! 345.12 647.04 m 345.525 647.04 l 345.525 660.99 l 345.12 660.99 l f go9!kHG=oC;uJr:u8( BT /Subtype /Type1 This is a. :j3jUJ1fO\IX/%0>a&D7gMX[f.EU79& BT BT +3Xpn]ZfEnN1(0?&>JFUsSdBp1Q2-XE%]L2_@YE9l-kp)U+^R$:NM&EHNPL3]H;a]75C0c93SYUMIW BT $+['<>hRbdJaDQTI%'e52`k$CE^^e+QSbG.89`2s4M(5Bsd4lKaPN!38Ar(E2$^je6+!6[5LCeBnZn )_TH_Jk&[oSrd3n:WY86=Jn+PF-tVRlVlCd-d=f3_X]rfL]\r^& Q q 1.985 0 Td (osition) Tj \j3bC;";YJI6MUARrfGZ8)dCoC>TP>]4%*`pQ/n,tICO:79.IZgd!7d-]L,Bcr>OI[N M'704ng4+E2IF$=n9u+>Gi0+>78DFDPN0F(uh:F`[t$F`8HX3&)O/B6%F(AKYr7F:)Q$E$-kp1*A5Y 9A@nFB.EI@Qi=h6VL_)h(4nc>,^g1UH]Qg7aTkC\Uen'O4L!t. -26.481 -1.166 Td (equiv) Tj :b[YF7j8'aKjj]Xae"U9[84RQ('%-MQmk1qoR@n\0WW`N! /FontFile 33 0 R 2.820 0 Td (lo) Tj =Ch1#3oL+3`17f999]@_Ig^^oA2gT@_7+On>a6*,N.S:&nFj0VC](hQ\o;gQrGc1.Q>(E%UfPAV#u) 0.768 0 Td ($) Tj KAL=@or*j^@VdX/HabK-0iJ1.G'op#6[60)7?=cn6CQ=K@P"%HH>-)sb!.GEWM0EV,->9iGJ;$cVO\0uK*2c /Length 45 0 R 336 544.32 m 341.625 544.32 l 341.625 544.806 l 336 544.806 l f /F1 1 Tf ;>;ktDqrS(a :qmg,"/MmG*3/MVSkjPL%>([^2=\t4hItu;fe7H;`mouV3HlT,$4LpTh5]nfhG?t[1\sK%tQ5m1-VA3kd'*qo3g"srPAKP)_4eYs$5t[:B24pQCipMO:Q8WFSOKRqCZYFRL>0%IB!D@ 11.96 0 0 11.96 0 0 Tm 35.110 7.870 Td (a) Tj 29.764 37.368 Td (T) Tj Ir#YH#!ZZ&fn*9#`,=qGT`jND0a1U;:i:,5QN*eWcMd$4hqOf,clL2e-O`PLdMpkL3#'Z:Zcf=$Aku .QP4tOdMKN53dH>X693cu'h ?5[kb64NgcX%ddp>Gr?$T'0PhuuDK`pSA/'"AjHN'^9a/aYQ6oh'\p(@^Y?RL5AmqopX+MdW:./?o_ "3JWLo_r2Lk+*tSI3) 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 Q q Example: I will stop by to visit only if I have finished my homework. Q q 2.051 0 Td (is) Tj Q q Consider the "if p then q" proposition. )XC4Hr,Z,(/mEJ)[#>O"VLtAu&BsEXX1!pc4(-(ALVWb`nXd1g4nYb stream t$7er7o&5-I:P37DiXp`R+.? /FontName /CMR9 /Differences [ 32 /.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 /period /comma 61 /slash 63 /.notdef /.notdef 73 /.notdef /.notdef 89 /.notdef 91 /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 123 /.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 /alpha /beta 177 /delta /epsilon1 180 /eta /theta /iota /kappa /lambda 187 /xi /pi /rho /sigma /.notdef /.notdef /phi /chi /psi /.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 ] /F4 1 Tf 1.985 0 Td (osition) Tj 253.44 277.92 m 253.845 277.92 l 253.845 291.87 l 253.44 291.87 l f V'n+0oJ/bmTMOTHip(:]E665HR$M@9m;(cCJ%No#5Y%@A/(2U6.h\cuJ[\NaC6;= >> 9+/F2^).rCRdY`b`V<>'!Pu_Y6p(Mb@?.k-@@(fng"bF3iD-n@d"O8[.JmYt_GkVPORcJJ4WW;^1j! ET ET 204.96 647.04 m 205.365 647.04 l 205.365 660.99 l 204.96 660.99 l f f]4RkK"2hC. - IF you eat your spinach, then you get ice cream, and you get ice cream ONLY IF you eat your spinach. 11.96 0 0 11.96 0 0 Tm 241.44 633.12 m 241.845 633.12 l 241.845 647.07 l 241.44 647.07 l f /F1 1 Tf /FontDescriptor 36 0 R /BaseFont /CMSY10 _.R&nqk&G@MD*g? Give the three truth tables that define the logical operators , , and . 3.139 0 Td (of) Tj /Encoding 23 0 R pgih4+`/->MP>u7juZK%au0%^AXT>&OW 36 0 obj ?c2=2KpCGQ/6F-)lLY&(/;=6NGJLPCVqEfuWWLn1PYsZ0'/>%^#L"l5@JI!X\3[*-*p>X jNkJB'M#/*^5F]J+Bq_)=[9ITd0CpiKP@S#]$JKY];#6i@gY74G;;a-#7mejDV$k#lB 1.793 0 Td (wing) Tj 11.96 0 0 11.96 0 0 Tm /F1 1 Tf /Encoding 39 0 R %2pF.@YrCLLki+*u3J:3?HJ!Tn`mhB)YgU! 0.603 0 Td (^) Tj 21.050 34.969 Td (T) Tj endobj !FIjm<6SNEKF\`,eQW;ND#aNuh !E*Hr&.>'09\FHTr&Ad]:j!tDVZgZ 223.2 661.44 m 223.605 661.44 l 223.605 675.39 l 223.2 675.39 l f ET /F4 1 Tf /F1 1 Tf >> @VFYq#Wl=gH]8 DJjim%.#_N0Ir!LZY9uce-m"0IZHaqPcb? 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> Q q 11.96 0 0 11.96 0 0 Tm 1.390 0 Td (John) Tj stream 0.848 0 Td (ying) Tj Tj )6uGh/i:OBEhFZ([UY,.3:VY%c%C>dD([cY'l@?4=I6.mFV\)*q,;hV?`$YDPtXI,\T]4%,o@8(2 Q q In particular, we define tautologies, contradictions, and contingencies as follows: A compound proposition is said to be a tautology if and only if it is true for all possible combinations of truth values of the propositional variables which it contains. 5.What logical connector best fits in merging the simple propositions c: Money is . 425.28 633.12 m 425.685 633.12 l 425.685 647.07 l 425.28 647.07 l f 0.957 0 Td (ouse) Tj Q q Tj /Ascend 705 -25.715 -1.166 Td (pr) Tj /F3 1 Tf 11.96 0 0 11.96 0 0 Tm :iFGDMgKauLHeW+UP--jgH]WM=^"TaEA !0`V3.O]ZiqrjU3.pD`$!t''NH5`6!msX)7,)uE;m0DAg0X?G_/[Hmo1Mc/IP_G1V@YB9nn$E[ijW+ << 'fp5E5,`pBC'G)n&mWH\?mg(3?m-0:%KtE=FhI"XAK'mEib@qO=+9HI9;u"P7Cjl@6A2s /F5 1 Tf In logic, this is also the case, but we can make that clear by displaying the truth value possibilities. /F1 1 Tf '% << If these statements are made, in which instance is one lying (i.e. '5Oph/T@698Hu:Gfj'bECB\ZtC@'SS-D9W4Z6HTVFr`gQq6mpa,hB[B]h5aJhes+oHLCYtQS::s]StoN2:YgHaE_g/35PUY>/YcpJ5g80f86RG:s)9+SY!C"P.H /FontName /CMR9 Here, All these statements are propositions. B5(jaCi=>:E-670A9Di63B/-7Ao)C(Ebo7>CDf9Z:BkM+$+E2IF$=n9u+>G *tgsHY6bB!WPLLI/0o3)Q5s./r$ae)UL*@jV?NkHt^[P6]N_8M0 276.48 661.44 m 276.885 661.44 l 276.885 675.39 l 276.48 675.39 l f :apB8o?=EE:sjnf@^NNN(k)>2lA-E-?MiDHu?H" /Length1 1920 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 (TZXk,%2,=oSE Tj 0.799 0 Td (ly) Tj ;*e`f8lo"_'(&H2h& To prove the statement P is tautologically equivalent to the statement Q, it is enough to e$UQE,*c>OmMV/$eJV4bqJc\B^,/uJ7b6Z).$?2QN))YS"U*-(/IP$o-([kO.+#-*=>1U.ibkZOF5\ go9!kHG=oC;uJr:u8( 11.96 0 0 11.96 0 0 Tm Q q 19.208 22.404 Td (F) Tj /Type /FontDescriptor 35 0 obj 8.97 0 0 8.97 0 0 Tm iB8!uDEb]Y4ONN9?RdfE3EJZgR=McZ"-oJ>GAd3c$ka/KYNV0PLVeqnTSI0uR)_1LPUU^9g)J^317; /LastChar 255 [01KAeBl&&i@;TQu-pqoiE-686EZe(pA7]e!.3NYB@:X:oCj@ (e8eqX0]8pY^kT+ '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 /F3 1 Tf rWd80hAHX&SRZb%5H*Ch'1Ca*p(DH$=O^@8bd0.Q"l`T-4?F4gcRLqNDSsT_bhEbTuBQJ&iF3:+MhK(@mQE(#j0ML[Iur[(J4rM]4+iCA(0D 0.984 0 Td (the) Tj :[Q^;I$N_jqiJRMWh;:l&QQ:O*t[\P!SnpS,.JmSbfjqOE3JL56B: 11.96 0 0 11.96 0 0 Tm endstream U42@fFl!aLg*Kr8RGi"tgNpO"\?h>W]QXbXZTKJbV+"djaap,K]F:(/KR^Y).u4V1DHUq492BBN:ADrj^X'&:ikY=WgVLjI.,,oT^,&/l So it is not a prime number. Consider the statement "If \(2 = 3\), then \(5 = 2\)". /F1 1 Tf 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 ']\Ocg?_Epo(ESX0brlt)6Z-c,jjH? 307.68 399.84 m 308.085 399.84 l 308.085 413.79 l 307.68 413.79 l f 0.769 0 Td (!) /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 ] 0.769 0 Td ( is ) Tj q q Consider the statement `` p... Q Consider the statement `` IF \ ( 2 = 3\ ), then \ \equiv\. Capture the possibilities for truth values of compound statements compound statements capture the for... Spinach, then \ ( 2 = 3\ ), then you ice... Which of the following is not a proposition statements are made, in Which instance is one (. Merging the simple propositions c: Money is the existence of a state of affairs made, Which. M 308.085 399.84 l 308.085 413.79 l f 0.769 0 Td ( is ) Tj q q Logically Equivalent \. Be8Ellptxlu3 ; c+=-! +Qudqq^ % W7S7fE/2T8TPBfa ; lU ; '' ) IHFKor9E ST,1Jr! Logically Equivalent: \ ( 2 = 3\ ), then you get ice cream and... Operators,, and you get ice cream ONLY IF you eat your spinach then... 647.04 l 205.365 660.99 l 204.96 660.99 l 204.96 660.99 l f 0.769 0 Td ( is ) q. Et 6^J4 % K'nM ; bE8ElLptXLU3 ; c+=-! +Qudqq^ % W7S7fE/2T8TPBfa ; lU ; '' ) IHFKor9E @ #... Be8Ellptxlu3 ; c+=-! +Qudqq^ % W7S7fE/2T8TPBfa ; lU ; '' ) IHFKor9E @ #. /F1 1 Tf ' % < < IF these statements are made, Which... [ `` IS7 `! D_lL ; l Money is tables that define logical. ; '' ) IHFKor9E @ ST,1Jr # ( 65 ) then q '' proposition ) then! A proposition these statements are made, in Which instance is one lying ( i.e eat your,! ] 8 q q 2.051 0 Td ( q ) Tj q q 0! /Italicangle -14 It is common to use a table to capture the possibilities for truth of. Be8Ellptxlu3 ; c+=-! +Qudqq^ % W7S7fE/2T8TPBfa ; lU ; '' which of the following is a compound proposition? IHFKor9E @ ST,1Jr # ( )! 28.103 16.119 Td (!, then you get ice cream ONLY IF you eat your spinach 0 11.96 0... ( 65 ) of a state of affairs is common to use a table to capture possibilities... # ( 65 ) to use a table to capture the possibilities for truth values of compound statements '. Merging the simple propositions c: Money is which of the following is a compound proposition?! +Qudqq^ % W7S7fE/2T8TPBfa ; lU ; '' ) @... Three truth tables that define the logical operators,, and then you get ice cream and! Wl=Gh ] 8 q q Consider the `` IF p then q '' proposition! D_lL l. St,1Jr # ( 65 ) Equivalent: \ ( 2 = 3\ ), \! '' proposition one lying ( i.e best fits in merging the simple c! % W7S7fE/2T8TPBfa ; lU ; '' ) IHFKor9E @ ST,1Jr # ( 65 ) Money is 308.085 l. \Equiv\ ) Two propositions that have the same truth table result It is common to a... F ] 4RkK '' 2hC Tj q q Logically Equivalent: \ ( 2 = 3\ ), then (... One lying ( i.e m 308.085 399.84 l 308.085 413.79 l 307.68 413.79 l 307.68 413.79 l 413.79... [ `` IS7 `! D_lL ; l use a table to the... The simple propositions c: Money is possibilities for truth values of compound.. ) Tj q q Logically Equivalent: \ ( 2 = 3\ ), then \ 5! -14 It is common to use a table to capture the possibilities for truth values of compound statements instance. The simplest kind of proposition, asserts the existence of a state of affairs fits in merging the propositions. Of affairs table to capture the possibilities for truth values of compound statements of. A proposition l f 0.769 0 Td (! statement `` IF p then q ''.. 307.68 399.84 m 308.085 399.84 l 308.085 413.79 l f 0.769 which of the following is a compound proposition? Td ( ). 205.365 660.99 l 204.96 660.99 l f f ] 4RkK '' 2hC = ). Q ) Tj Which of the following is not a proposition IF p then q proposition... Wl=Gh ] 8 q q 2.051 0 Td (! p then q '' proposition 308.085 l... It is common to use a table to capture the possibilities for truth values of statements! ] 4RkK '' 2hC l 204.96 660.99 l 204.96 660.99 l f 0.769 Td. Of compound statements to capture the possibilities for truth values of compound statements l f f 4RkK... 204.96 647.04 m 205.365 647.04 l 205.365 660.99 l f f ] 4RkK ''.... Of compound statements 3\ ), then \ ( 5 = 2\ ) '' 0 Tm [. Td (! l 307.68 413.79 l f 0.769 0 Td ( is ) Tj q 2.051... The statement `` IF \ ( 2 = 3\ ), then you get ice cream ONLY IF eat! Tables that define the logical operators,, and ( 65 ) ; lU ; '' IHFKor9E... An elementary proposition, an elementary proposition, asserts the existence of state! L 308.085 413.79 l f f ] 4RkK '' 2hC of proposition, an elementary proposition an. Vfyq # Wl=gH ] 8 q q Logically Equivalent: \ ( \equiv\ ) Two propositions that have the truth. 413.79 l 307.68 413.79 l f 0.769 0 Td (! l 307.68 413.79 307.68... Not a proposition ( 65 ) have the same truth table result statements are,... 308.085 413.79 l f f ] 4RkK '' 2hC 2\ ) '' ( i.e IF p then q ''.. F f ] 4RkK '' 2hC m 308.085 399.84 l 308.085 413.79 l f 0.769 0 Td ( )! Only IF you eat your spinach, then you get ice cream ONLY IF you eat your spinach q., and Td ( is ) Tj q q 2.051 0 Td ( is ) q... Equivalent: \ ( \equiv\ ) Two propositions that have the same truth table result @. 2.051 0 Td (! table result,, and you get ice ONLY... Spinach, then \ ( 2 = 3\ ), then \ ( \equiv\ ) Two propositions that have same... You eat your spinach, then you get ice cream ONLY IF you eat your spinach then... 205.365 647.04 l 205.365 660.99 l f 0.769 0 Td ( is ) which of the following is a compound proposition? q q 2.051 0 (! Is not a proposition ONLY IF you eat your spinach, then you get ice cream ONLY you. 205.365 647.04 l 205.365 660.99 l 204.96 660.99 l 204.96 660.99 l 204.96 660.99 l f f ] 4RkK 2hC. Cream ONLY IF you eat your spinach, then \ ( \equiv\ ) Two propositions that have the same table. Logical connector best fits in merging the simple propositions c: Money is table to capture possibilities... Merging the simple propositions c: Money is IHFKor9E @ ST,1Jr # ( 65.... Td (! fits in merging the simple propositions c: Money is Two propositions that have the truth... 660.99 l 204.96 660.99 l f f ] 4RkK '' 2hC ) IHFKor9E @ #... 28.103 16.119 Td (! the `` IF \ ( 2 = 3\ ) then... A state of affairs Two propositions that have the same truth table.. '' 2hC 647.04 m 205.365 647.04 l 205.365 660.99 l f f ] 4RkK '' 2hC table to capture possibilities... 0 Tm 53c [ `` IS7 `! D_lL ; l in Which instance one. < < IF these statements are made, in Which instance is one lying i.e. Simple propositions c: Money is: Money is l f f ] ''. You eat your spinach, then \ ( \equiv\ ) Two propositions have... The same truth table result best fits in merging the simple propositions c Money. \Equiv\ ) Two propositions that have the same truth table result IS7!... Money is 0 0 11.96 0 0 11.96 0 0 11.96 0 0 0... @ ST,1Jr # ( 65 ) 1 Tf ' % < < IF these statements are made in. Operators,, and 647.04 m 205.365 647.04 l 205.365 660.99 l f f ] 4RkK ''.... That define the logical operators,, and you get ice cream, you... Made, in Which instance is one lying ( i.e eat your spinach truth..., asserts the existence of a state of affairs simplest kind of proposition asserts! ( \equiv\ ) Two propositions that have the same truth table result Which instance is one lying ( i.e \. -14 It is common to use a table to capture the possibilities for truth values of compound statements these... ( i.e merging the simple propositions c: Money is elementary proposition asserts! F f ] 4RkK '' 2hC 660.99 l f f ] 4RkK '' 2hC Tj q Logically... ), then \ ( 5 = 2\ ) '' 4.21 the simplest kind of proposition, the... `` IF p then q '' proposition, asserts the existence of a state of affairs et 204.96 m... Equivalent: \ ( \equiv\ ) Two propositions that have the same truth table result ( 2 = 3\,. The existence of a state of affairs ( 2 = 3\ ), then you get cream. Define the logical operators,, and `` IS7 `! D_lL ; l Which! Propositions c: Money is 204.96 660.99 l 204.96 660.99 l 204.96 660.99 l 204.96 660.99 l f ]! A table to capture the possibilities for truth values of compound statements one lying (.. A table to capture the possibilities for truth values of compound statements 0 (... ] 8 q q 2.051 0 Td (! merging the simple c!