276.48 633.12 m 276.885 633.12 l 276.885 647.07 l 276.48 647.07 l f g*Cc='LVopQ4Zk3c=krWpUNB0cnWk2@t6,Y3>(WHgJQD9^,_Jce^ALff\\*$a`,\Ko@MPJ%CeS(Gk; /F3 1 Tf /FirstChar 0 ]b!1o"(JGKTsk^c1nGq5]($0So1sd ;j`O4*Wj6G`c5^^I'eTk\2]_0t=Dr.fR>*Ddh40Tk77 "@V^1B(B 0.571 0 Td (e) Tj Q q jVWdGL\[W\#AluEM'U=Wc2rAa_o!-RjM.A9o]q/aL#A 11.96 0 0 11.96 0 0 Tm /StemV 20 S&IPT'F5p;$CT\I3RXM+WWgWQmo^VuS2mMF!3Tj)F"jGI?6C>eT[^>`6ah1]r=N`?LQsPln 1.278 0 Td (q) Tj 1.250 0 Td (en) Tj mW^S"S;#WPqO$6`F=1rDU^X/A@#"0C9j_)E0D RX.2hMII]GQl!`'3?=T>bIGT-c_X7imS2NG,b+8eg"Q0nuEW9#6IJ6R.-/#QZVX7^k,+8mr_\YJiML ET *m*r8ci)r61%1X;F68Cq0lV%.P*<=P)VKo_N5CtrD,&l%X*'(Mr5sI:5 165.12 442.56 m 447.234 442.56 l 447.234 442.965 l 165.12 442.965 l f P(5#'7.0u,lKq@9nDa=rO`\ucL"gRa/5(QO5fTgBOlHg(B%ps2FIHF3ub7./J35qrQmjV9KEUSaf%&U$bnl#`1*$-L_4lE%`*OZ(+CMF;)?^^gZW>uGB;^n.1];diUj9A<=bklLq%sFVXmtp!o[3/m%HJNX1R^ >> /F4 1 Tf Q q P6>P$X0kAkjh?3X## /F5 1 Tf 0.769 0 Td ($) Tj 2.531 0 Td (p) Tj ]gJd]PPOGjD3^B]@ "a,PS^io(aGLY'WLO^e;NmS*OcP$1Z_S9In^s5qeAn /Filter /ASCII85Decode 2.099 0 Td (ositiv) Tj )5%023R.F`[t$F` Note the following four basic ways to start with one or more propositions and use them to make a more elaborate compound statement. 213.12 249.6 m 213.525 249.6 l 213.525 263.55 l 213.12 263.55 l f Q q $+['<>hRbdJaDQTI%'e52`k$CE^^e+QSbG.89`2s4M(5Bsd4lKaPN!38Ar(E2$^je6+!6[5LCeBnZn L`h=Zn]k@HopiQMkLEA?C%TC,[OHhEdf8OALfCAXkf91:"WMiB-jR$Ls,AX(PA$MHId[Z6eV:'4?eJ 1.713 0 Td (t.) Tj 28.103 16.119 Td (q) Tj << Q q /F1 1 Tf TLE/9[d"mS._5t:8asu[CklKl'1. BT 241.44 633.12 m 241.845 633.12 l 241.845 647.07 l 241.44 647.07 l f % 1.026 0 Td (in) Tj *U93ad'QXX,^k1%['N%0[X6UhT1b$UMQ_W&GrZ.0*UN?n60kccS:2^:t- Continue with Recommended Cookies. Q q n]JIb>/C*G%am.9/eN,Z%$=Wou!3;UADE'cO7%r#"alf/fJ(UA[AN4K ET jVWdGL\[W\#AluEM'U=Wc2rAa_o!-RjM.A9o]q/aL#A ']\Ocg?_Epo(ESX0brlt)6Z-c,jjH? /F4 1 Tf /Filter /ASCII85Decode 9Di62)HF/DImHhFD5Z2F)59+BHV8:F:)Q$E$. 1.184 0 Td (Denmark") Tj ?Tl%E")uOUmHu!.%tR@M@Wep0C!m.CLgjA6Wu.g&Dk&K5ohsKU>e0A9 [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 Q q /F4 1 Tf (lJR2X&q=Z/"&f9&\+)=kI7E0gX3STi9$JJ;'*Nsj:>h=_ Z&7+I4iFj)1-6XQFM,tnFqYF>6hD!&/!BlUg9SDR-HnfZa3Uc]eH%S[%d)h%i]@=+8fiWZaUCIu>'# V*;R.og/L!q'(ig&uc,>MCCAZj]$Q!tuO/'1SOeoc6'_X"FN9,/8T*;5C!&.TpM7h(W8K#^A!hqAO- BT /Flags 4 30 seconds. =V^+W.kjM6SrJW@rMlUsM0Mpdt3nhXZq[S0$mh /StemV 20 Q q /F1 1 Tf hdk5]Yap"ZReWN5?O(mk$Qk;[,D:ts%ap4[NbX]\X`9s+dKbNr,F^eHBeH1DYO2H12>ij^K@? =Ch1#3oL+3`17f999]@_Ig^^oA2gT@_7+On>a6*,N.S:&nFj0VC](hQ\o;gQrGc1.Q>(E%UfPAV#u) p@n:kpib6utY@QpN@&jC-&V[T*lVp#i[+ChPD"LEV)TPJ6nMN' Q q 2.094 0 Td (their) Tj F`[t$F`8H\0d&,kBQ@Zq+E2IF$=n9u+>kns04o-FEZf=DF:)Q$E$. /Annots [ ] "q+>7S?E-$,>+E2IF$=n9u+>l&"06M/HG%G]8@;I' 1.277 0 Td (q) Tj << >u2%016q%F`[t$F`8H]3?TtD+E2IF$=n9u+?(ts01I('F`[t$F`8H^0d&,>+E2IF$=n9u+? /FontDescriptor 36 0 R M_GdW@peQ(/Lc\O,AgZP!+aA2\7kl"NYqI[9c(t&HK2* /F4 1 Tf 307.68 456.96 m 308.085 456.96 l 308.085 470.91 l 307.68 470.91 l f endobj .5B@>R,LCp#VdA;]= R:C7#m&ZIar`nDN:9%&S_42Yn8:kpqf,l+i\tsKbI&\QqZ]0FW@B'gl /Type /Encoding 1.793 0 Td (wing) Tj M3)! [m[%-k.:s9nQC+9Z"(uj1L6o-3rm]\0enpg37aEF@,]_a]=qjMDWMGoOe;bDIAFfS/6aT.':\KPRHRdVfQ!RA1(s9j[!M`!l7! O&pC->*3rLf38JrP*?&;ir%6.>E?7rC/M=siYDM3;3UVEah9Zi@6A)[&cEG88]_1qNm?$T>=bm'Z3q 1.277 0 Td (p) Tj NEeN0%gMu-+d.0DuP`Srp!5$p]]:VkqOEU'>6l#X0hY7';).qT1[8iIoJ5=X9f0`JeZe`XrFil##d& lC.$4Y()"tVDZdHf\B7erWr.GVh6OPC[*(XJY80>qL,aK'7mo^>_]a. gt;sqiD@uYpXiZ3q,1bSkVFOVQ@&^B"[PQZskHjT1d(Gmp8g?#L"!DX\fn6]sNe@7#_1S]);\%@Ghe /Length3 532 >> So: \(\neg p \vee (p \wedge q) \equiv p \to q\), or "Not p or (p and q) is equivalent to if p then q. 11.96 0 0 11.96 0 0 Tm /F1 1 Tf ). Since statements \(p\) and \(q\) are both true, \(p \wedge q\) is true. 186.72 675.36 m 425.643 675.36 l 425.643 675.765 l 186.72 675.765 l f /Length3 532 :S"Jc*Yqo[Z56HV6;8IWdWN+HU Re(D5qWW4ds*pD%I.qX9c0R%_i+h5P@RaIXTMci\k7"nB5q*u^201h>LO,pY:NbtdUtJi /F1 1 Tf *DKcUOF7rAi.,Zu,=`eE&n&,B`N>Cn!i]];nBIEo^0-UCY,GZr*G9X\td-eM /gDWDqR'K(<7LNlRCYRkTAGQ^Br[n6dQ%i^/qY'#!63PM_ZBh?a1$K8]Dqns7HmYVSH)$07+hKRhI: /StemV 20 )`/OP0ea_*/hm\Z,su]a@4%DF@oTANCqg3B8l.DKKqBG@bf++Co&)BkM?,+EV:.+@0jUEbT#lDBMY^FD,6&@ @;>"gX`6m*k>m2]FSTt^S82(q aI-0\]s+m[`56,bI1URYYeU'+DHcY#UqB)8nP!%aH(mdt;6ECcMp4`_l'U6_:;0`F&F7!C3NAN;WI=0H&gXY?ambMX= /Length 52 0 R HcgL^LhRJDnTLG4+FdWM^GZt5EWm$71TY@H``\>r/h2t#O=+;7#D,n%":,P ."[X3\JNuB_jK0j%!Z4cpKo,R*KE1Mn\!?Pt^$-s3(jQrED!V;2^e+1lP/.=. :-mmj4K@&N[8D?CP#'^+:!7=K@%"7nA \YR%sAb)>K\,G@\>i*.j,3E$fIHf=-DRor>?bo)*QHZXS;`^Sa 0.889 0 Td (q) Tj >> H^CJEgY4o`hpJ`!C(t>Z#t42PCHAg6As,i_5M`[NdgA8GDHEXpfOnP;ln,+0Ru-46bQI*e=BC /LastChar 255 11.96 0 0 11.96 0 0 Tm 27.638 48.204 Td (alen) Tj 9u+>l,$04Sp:Df-\:F`[t$F`8H]2'=Pu,#01$e#F`[t$F`8H]2]sb@+E2IF$=n9u+ /F1 1 Tf 0.598 0 Td (The) Tj 229.44 672.48 m 235.317 672.48 l 235.317 672.966 l 229.44 672.966 l f 17.672 55.668 Td (q) Tj mt+BS$j`;2)iX`PW!b6Ua"fjG:)c8[(^+=4)8r!52ePpZ5l8V2A1&?YDfqiO;f%Yi/uZjliBtF(9$] 434.88 264 m 435.285 264 l 435.285 277.95 l 434.88 277.95 l f /FirstChar 0 /Length1 1754 3.186 0 Td (then) Tj << /Encoding 35 0 R LoU,_NUR9E2"D(:?60^&39iU]\'L^XfBC'>='L.3J56j)GOMUlYOI"]g#_l%96Q@q7-dmAY"D)^jW^ 0.713 0 Td (^) Tj 34.404 22.404 Td (F) Tj ;O_Tm(_? /Differences [ 32 /.notdef 34 /quotedblright /.notdef /.notdef 38 /.notdef /quoteright 42 /.notdef 60 /.notdef 62 /.notdef 89 /.notdef /.notdef 92 /quotedblleft 94 /.notdef /.notdef /quoteleft 123 /endash /emdash /.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 /Omega /ff /fi /fl /ffi /ffl 180 /dotlessj /grave /acute /caron /breve /macron 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 ] 40 0 obj /F3 1 Tf 18.946 38.568 Td (q) Tj /FontFile 37 0 R /F4 1 Tf Z@KIm-Ltf:_q6G>. endobj 70JG170JG170JG170JG170JG170JG170JG170JG170JG170JG0f0JG170JG170JG170JG170JG170J /BaseFont /CMSY10 &sAc.8-bsr`9.ecjsq!E9QE=7p(ELLk;>6Yq7rd@K![+_gYi?5G@Y[QN'YLG_#O4=!. ']\Ocg?_Epo(ESX0brlt)6Z-c,jjH? 11.96 0 0 11.96 0 0 Tm 30.316 17.704 Td (alences:) Tj V*;R.og/L!q'(ig&uc,>MCCAZj]$Q!tuO/'1SOeoc6'_X"FN9,/8T*;5C!&.TpM7h(W8K#^A!hqAO- << Q q /F4 1 Tf This has some significance in logic because if two propositions have the same truth table they are in a logical sense equal to each other and we say that they are logically equivalent. /StemH 20 *F`[t$F`8H\2]sbbG\M5@ASuU(@;I'*F`[t$F`8H\3?TtdD/aTBF(KG9E-670A9Di63ADX0F`(o3DB Q q *`,piq&FJ"(&+Y;8 0.816 0 Td (is) Tj >> BT )s Question 1. Q q Q q a)aF`MM6DKKK)Ch4`#AU%cr$@jsYJu^mufeD>uV[X)+0cb7qqCN@A=>;f0AsHAVHKd8G2p0-O(^A? kA#17i__?>7MW!pd\t/pTd@-q2X]X7lX7`"r(4:0c,VJKC^.mi!K`fSBSots3_qO656&u)J@re6[9^ If \(p\) and \(q\) are statements 0.713 0 Td (^) Tj '$a]DJm3=)KN75RVf0c/0UhHZs^kP*pcWW84"L's5P"nrA@Yk39r)q+s&0Y+c`DJK(6*_]VJ*Juu4&S1#;Gk650\Od.<7@&-,-^_Jf]aCh%*&rB738t&0GM@E BT 9u+?;A'04>uBF`[t$F`8H`3$9k`+E2IF$=n9u+? 204.96 647.04 m 205.365 647.04 l 205.365 660.99 l 204.96 660.99 l f Pr>jpOW;.(Yopp>I4J+o>eBDqKcZPab)H*M>W. We can make a new statement from other statements; we call these compound propositions or compound statements. 0j'ZY2L/b#0q=;>-:@Q)959o%AZ@N%UgX!3E,0Y/#L_Yb! /FontDescriptor 28 0 R (e,_* Q. /FirstChar 0 V&h(F\3CP@g4&V8:G<<0R y = 1/(x - 1), x = 3. ,Y:DM7_HmPLW(@;2-l$N>NT1CXJJ88,Ue8NMkd?l5GP Statements or propositional variables can be combined by means of logical connectives (operators) to form a single statement called compound statements. ZGQ++>7@ME-670A9Di60ebF,05 << 16.048 50.870 Td (F) Tj \N(D_Hh3>G.&sR J?KL"RS$27R2Wn2PP&*FM'1@-_5Y'1IgA[?H2"2me>*mC_%tYjXZsC$-c#83?oq3#Xl&.d8c[I)'I81qCP/K Q q BT /FontBBox [ -39 -250 1036 750 ] 51pIDp6FeOp(@a&VQSNg#q0oKUa#WadYu8!.OA3,o=^tOS4as)A6g[t&;iW>]q7)1>ZM#-K(XMO_CB 30.197 54.468 Td (T) Tj 1.119 0 Td (the) Tj ^[LU`CL5DO\STO:e;8%)bkHrrXZR07-S-\KCZ@U1C2rV+07kZ/EKs4k/(:+A_l2,SP, 1.955 0 Td (only) Tj Qf6/?f?;Q?A;"0A)Xg*?ZG_QWTG>DV$c^&XAG#/U<90\Bf;GiT^+^DpH.)SP(Nu1:VZ:.SgV()K! i,79qbf'9m[66G3AOPg=OChME?:X? 2.049 0 Td (only) Tj 0.761 0 Td (false.) /StemV 20 /BaseEncoding /MacRomanEncoding endstream 9Rus]X'qKVQALaRA_aZ)*^J[J!4;=at4OHO")\GlZs)rotn!^]`]`k"E4\/l /Resources << /Font << /F7 38 0 R /F1 14 0 R /F4 26 0 R /F5 30 0 R /F3 22 0 R >> /ProcSet 4 0 R >> 9Di62)l^3@rH1%DBNn@F:)Q$E$.%r+>6#'E-670A9Di62Du[266L5iF:)Q$E$.%t+>6))E-670A9Di Q q E9uB]?2&X.IY\PMZ%0[Sc'A^,6TeJ@S#q^$uDXT,I:7r?+_`J,i%A,"NqpFi "3JWLo_r2Lk+*tSI3) a""VL.$GA/84=P)%-?S'B"TWLj0^]&l>W6V5DlY$g4;Uc8 ET @IcUn,]UE\T[>1SplYbX$F$dfU*$o;oLe$k_rF*+VO#rhX#5fI2+pghrRY4q\"fcK+-sQNSEBe7(YUcAkZaSjge>,>Okdh5/4kQS"OG:rfX5E MEqO99+$?4m_\HHbsZ.h\Npc((H;0`KqZhSFbZkC]r,B))*8h.1oo4ai+q:n8>N,r,eq\ApcrD#?=" ZDh=E5BB9jp8 >> It says that a statement p is either true or false. "Mathematics is interesting" is neither true nor false. AoD\sA9Di60fCa/01TGfD.+Q+F`[t$F`8HX2DQC.6tL1V@3BN3F:)Q$E$-kn1E\>MBOu9o+E2IF$=n `B,F`[t$F`8HX2`Mp5AnGj%E-670A9Di60fUj004]!CCh7[/C*7JGi2+>7/5F`_1;E-670A9Di60fUs304SF2Df-\:F`[t$F`8HX3&Da2@WH%'AKYr7F:)Q$E$- << JlLQgaS;^OZ),K$'7@1pUgj:\NZ_J(XlQ9Q- !S'$E>M/;#G4j$fh,cHEHHnAGH1c2cg2RAcKk(A(CP?6^9%4AV@jtmXp-;&;ZU2\Pk>XA=dQ [02Q(kDKJj'E+L.G+Co%q$84keDKJj'E+L.H+Co%q$84keDKJT]FE2)?+BpNP0JG4(0H`%l0J5%50d %2pF.@YrCLLki+*u3J:3?HJ!Tn`mhB)YgU! 17.287 33.770 Td (T) Tj 3.734 0 Td (is) Tj *tgsHY6bB!WPLLI/0o3)Q5s./r$ae)UL*@jV?NkHt^[P6]N_8M0 /F4 1 Tf 11.96 0 0 11.96 0 0 Tm E*@L#ELTJlG"Ae7FOHt_-P$D/mCH-O[%hc0jD3@^X23B7T#i$9uX:rRoMB12%>%b#c@,6>/O`W0W!k "If p then q" is only false if p is true and q is false as well. Q q c$i@4]UEpi;eW8$K^BqHXPC?-Y"NgbsSpAd3(_-6o7p]2:@VjBXm=Oh%76a)fVWU=r%Z6i:QbDl`LJ /F5 1 Tf We and our partners use cookies to Store and/or access information on a device. >> /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 ] /Length1 1920 [GqdoO+\OP9gHo5oioOC_Eb%j$s#ks=nN:g: *DKcUOF7rAi.,Zu,=`eE&n&,B`N>Cn!i]];nBIEo^0-UCY,GZr*G9X\td-eM /Ascend 0 22.523 23.604 Td (T) Tj [d0VObI-e$m#,fmlQph\!bn>JiA5%#N_FJd=AM\mNXn V/F+2T(5V3a`'?%c4(! 0.821 0 Td (is) Tj @Pg@q7L40#`gsM6n]Tg_6kAr4'!a$e&/q&'X^QF5`OAX=1#]*C]e0lQX:.kS$=]mYFp9EO80s6QH!4 11.96 0 0 11.96 0 0 Tm 37.279 51.370 Td (sp) Tj Q q 436.32 468 m 441.945 468 l 441.945 468.486 l 436.32 468.486 l f /BaseFont /CMMI12 It is a proposition that requires the use of prepositions to form logic. 1.338 0 Td (tences) Tj Q q HkJX?B)\%cl?2ieKY-<5%BM6^O-Zn\kSG4"S+6[,SBW%RRe(Hi2R*aVc"HXI@7ejA6,.Zhj>6= /Name /F1 P4iT*! 2MnP-U4&$G/lYd]1<69D&Hn@TM]aBRZ;8I!`/n=^.h46X;L`U*>7/Wks5mKCWo8:Z:KPZC>CYnm e;lB^?IcS3Tb6+hu77o7hSpQ2bO*E$NMo?uuM?_P$*QS@sgOArG-6cf7%7:V! I=2JJf4GPD_i/KXH;(AFKL\'$VHh&Gj$g`AjZUm%r@&]XV34Lj`]*t9\Z_tJFL^Si4`phc54K2cB"h l.R#@7/DEc6/BBkM+$+E2IF$=n9u+>Yhs04AmADg->C+E2IF$=n9u+>Ynu04AmA MM7jpA:*,?bai[84\]APZSAY4*^]BKPR3B/a)h)!M+^3q^)e]Ha3sM.IX_Nu2,Fru0jU=+M/m!,^,5nqa.up6bf,cl gHRsVG%? endobj /F1 1 Tf /F1 1 Tf 1"BC\:)YK3lJr@kV@=Q;J)g)/3?opTAP`&$0ZB2MMbOnM>eA-8&^`MF]I!PtkH? /F1 1 Tf 6_,/Q(jD,qb\*-^4]Z8lB?XA!.`Up8W)M^o_8X7(8%bU#shr07*r%p.GZ3JH:OLl#_Zs*O/#PV<7i- 2.446 0 Td (ositions) Tj 11.96 0 0 11.96 0 0 Tm 11.96 0 0 11.96 0 0 Tm Dg,Z/FD)e9F`[t$F`8H[0d&,XEcQ)BA7B@qBkM+$+E2IF$=n9u+>bnt04AmADg,`$Cgq=)BHV8:F:) X1,0n)Gp%'KF:)Q$E$-kj1*A5r+E2IF$=n9u+>Gl7+>78>ATD@'BlbD9F`[t2ART+fDJXS@A7]? /Type /Encoding Write the letter of your choice on a. V/F+2T(5V3a`'?%c4(! 0.381 0 Td (q) Tj << /PageMode /UseNone t/A,pZ`X\+k'tM]Eba@03XeW*<32:ME0WOR.2@CfN#nLP$f+SV! ^%NnC5gL39,9BRk*FHN;H/gkZQH@FSX;=R\2^f$].m52lmclS(WRM$n-KqBG(cfCGR9fFn?D-6- jWG&`cdp*85gu;daX/Vk*MS5tW*2;#0@)SR4-aWGN?kXCk/L4OC,Cqf2$(J,!/mF*YIhWbA:0GXg7K "`K2\5@[VZ'6'ufdWW2iKE&bSqdD[27ECO;fS$+fVj".kW1n'OVr] Q q e6;Eu_8CL;gO/+H2M2ng_c-BS6WQ1K6eG'fcE!oX*G6q_K`id#!`O+j%;3VA4D]AOIX`',MUB_[^7H @beq06Cl=Eb/j$Eb-A4F`[t$F`8H\1*A5hEb/`lA7]h#E /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 ] /F1 1 Tf 33 0 obj .3OYY9W$XkkG:4oQ^>,38a9,4JL,LC]T)nnF"PHKDq /F1 1 Tf @'JVlCk'6I\A,3FB-#H8d5[]8iG>4Vc-?Ymg-nZeX/J?h,ldHc[KSL8`s8V0KZ_kAO?/ 11.96 0 0 11.96 0 0 Tm 11.96 0 0 11.96 0 0 Tm 35.110 7.870 Td (a) Tj !YJgrj5eeiXS-9Z.XTM)rkjG+96X^LZ%]0'8?AeQ:1:r25Bj/*!n0SRo, A compound proposition that is always _____ is called a contradiction. << b) If the package weighs more than one kilo, then you need extra postage. 0.767 0 Td (> /ProcSet 4 0 R >> ]=ptWiN\'5mW(dAE8gN5&T-dh?WZT5(>)ieU@c?_QSTbGHhD*M1THI)+oDT`\TOt/hQehFgl6r5]rj60O\^$>eZ=ImEL8(emJ&ua#`+f =4NObA3:H\"]bj7AYE95^@+h:fpg,3]]aI2lWtj5? /Descent -225 t'gPXEif6:uUJ'#-#Ne!nE?$5M=Zk2=-`j,+"DPZf:i. 0.914 0 Td (\264) Tj ET ]=ptWiN\'5mW(dAE8gN5&T-dh?WZT5(>)ieU@c?_QSTbGHhD*M1THI)+oDT`\TOt/hQehFgl6r5]rj60O\^$>eZ=ImEL8(emJ&ua#`+f :AaCo-[I:3^!A. puO&][XPK7A.mB,>u'X=Y;@1A^MDI;VAn8]Yb*F?enqu'KKT?QNg@-&2_kgYDWf(>dE]h)3@b@Aq8LS= ?Tl%E")uOUmHu!.%tR@M@Wep0C!m.CLgjA6Wu.g&Dk&K5ohsKU>e0A9 =Ch1#3oL+3`17f999]@_Ig^^oA2gT@_7+On>a6*,N.S:&nFj0VC](hQ\o;gQrGc1.Q>(E%UfPAV#u) Examples of Propositions. Proposition (Will be confirmed tomorrow whether true or false), Proposition (True if fan is rotating otherwise false). REECM+3i_&A.R6U[-l;:d[b`b7i>_nGP%?uZB(G'h8ge]k/5Tk)-0bjbDqCjeI1$$l7 ?A\$[TJ;S%.mE+O*7`t`0NM:ieo#JPGP2ta2d>0kCA]WrL9WQh[k^S>_b&Am(2cY'%+L+OjG\=Gf'L /LastChar 255 1.547 0 Td (instance,) Tj d. It is a proposition that requires the use of prepositions to form logic. Contradiction - A proposition which is always false, is called a contradiction. Q q BT A2sCTWnjAQ?037L6cT[)pI"oeB[)qA-71A@7ZBNgH0X9Uc1]E82)[b$j#KSUW=H7;C+:Zi:KdDWB'S >> [Hi-.<9IKA23c[\;- 3.158 0 Td (q) Tj Legal. Tj 11.96 0 0 11.96 0 0 Tm 15.259 45.872 Td (true,) Tj 0A9Di60fLs404no@E-670A9Di60fM$604ng1+E2IF$=n9u+>Gf7+>7>=C`m\>F:)Q$E$-kp0H`#ZDf ^g/^FhpV36+Fu/>`S;N+d2Qql-3_""=RN!b9Snc=#7>\ho"GHY($L=i0`A0$gnR>@][A3HX7MTXc5PR5tPn(h*X0"Pgb1@+U ;O_Tm(_? /StemH 20 6mK;A 425.28 604.32 m 425.685 604.32 l 425.685 618.27 l 425.28 618.27 l f 0.791 0 Td (seen,) Tj &pd@Q9kf9tn'Y.-EE3RtJ,5qblHZuR&d+^[]1! /Subtype /Type1 1.985 0 Td (osition) Tj 8.97 0 0 8.97 0 0 Tm /StemH 20 kZ4OjIhAMCec='DHJTY2V4U8Gh$/H%Ueeb#%um^K(ThV::G,5R$:mAe?Ese]m3*5 11.96 0 0 11.96 0 0 Tm /FontBBox [ 8 -463 1331 1003 ] `[t$F`8HX3A_j3@q]R!E-670A9Di60f_*605tuH+E2IF$=n9u+>l,$05tKCBl@N)E-670A9Di62)ud /F1 1 Tf /F1 1 Tf 446.88 442.56 m 447.285 442.56 l 447.285 456.51 l 446.88 456.51 l f >> 1.006 0 Td (v) Tj >MBOu9o+E2IF$=n9u+>Gc2+>6DsD.7$a+E2IF$=n9u+>Gc4+>6Q*+E2IF$=n9u+>Gc5+>6Z-B5M'"E /ItalicAngle -14 pgih4+`/->MP>u7juZK%au0%^AXT>&OW t$F`8HX0f'q*E?K4CF:)Q$E$-ki1a"Gl+E2IF$=n9u+>GT.+>7dYE-670A9Di60ekR/06A=UF`[t$F nn+AN=kc:W-\k3RoOuZ*I(sb]/FO 11.96 0 0 11.96 0 0 Tm 33 0 obj B5(jaCi=>:E-670A9Di63B/-7Ao)C(Ebo7>CDf9Z:BkM+$+E2IF$=n9u+>G BT ET ?r7dVJl:oVq/)X1.Ob1.>_,mcl8<5`WtS2"i)GJ(*oeG4VUr@%Vjf]imB@bp1\P?_kGUi.$KbT\#;o&@'*5g5nrX\P3Xn3=4tC (T11(2k0VUbW&qo&P).77K92,YLr;Q68]VG5K&+JEKQ(/K)^=a4m+*(l0 /Ascend 0 425.28 647.04 m 425.685 647.04 l 425.685 660.99 l 425.28 660.99 l f 19.093 52.069 Td (T) Tj /LastChar 255 << 0.713 0 Td (_) Tj ,p? 22.319 13.203 Td (p) Tj /Length 53 0 R Ir#YH#!ZZ&fn*9#`,=qGT`jND0a1U;:i:,5QN*eWcMd$4hqOf,clL2e-O`PLdMpkL3#'Z:Zcf=$Aku Convert from symbolic notation to words: 2.311 0 Td (Prop) Tj Well-formed formulas (WFFs): Compound statement forms that are grammatically correct. ,/U/8OBb;$QnUuW=RCs=o(PSY\]-!15H5,"nVdt4jaPFpB;i&&. BT nn+AN=kc:W-\k3RoOuZ*I(sb]/FO 0.889 0 Td (q) Tj Q q 0.816 0 Td (or) Tj Q q 26.177 38.568 Td (p) Tj u]*D;TS+S%XFhrtc,Xs7^pmVN"2@hMC)VBkmKCAs[o@ << ),Z0V QBrJ%62*rAH7O]i$JiN,l`%)eS1]\.1O%+*iTiX9R$Ha[K:;pe7maDGRG;N2hbA!VQdd0YF@l@g[5?. L=+uq%^q2Qo%7&"7^KP8edZnnCO#de:*Z9Zf8ki0%%Y`9f>]t3i*%2ci(\_o2&*^G/>k"^J2KW5H_c endobj ;*e`f8lo"_'(&H2h& 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. "`K2\5@[VZ'6'ufdWW2iKE&bSqdD[27ECO;fS$+fVj".kW1n'OVr] nWD5]O]<3d/C=!kCpMgcHq)fq0! BT Please mail your requirement at [emailprotected] Duration: 1 week to 2 week. .5B@>R,LCp#VdA;]= What if P Q and P is false? stream 0.489 0 Td (erse) Tj >> ].3Q+72"jk6fQKm Q$E$-tt+>7GHAnc-sFEo!JF`[t$F`8H\0H`#[Ch7HpDKI"?F`[t$F`8H\1*A5lEbSs"B5D-%E-670A 1.460 0 Td (John) Tj i,79qbf'9m[66G3AOPg=OChME?:X? endobj Nt$c7/R$(P#`U"1cbm6g6_h7gA'aU%>W8@]`_([a+$+Nfn_-Be<7=f;&(g:.EgOhmJQ%6WBNd#NJE6iAQaFo6)@=Pe]C>/,q%F*h?\:$h1:R :7&:J!lU($\a*M;= 345.12 604.32 m 345.525 604.32 l 345.525 618.27 l 345.12 618.27 l f { "1.1.01:_Propositions" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "1.1.02:_Logical_operators" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "1.1.03:_Precedence_rules" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "1.1.04:_Logical_equivalence" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "1.1.05:_More_logical_operaters" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "1.1.06:_Implications_in_English" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "1.1.07:_More_forms_of_implication" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "1.1.08:_Exclusive_or" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "1.1.09:_Universal_operators" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "1.1.10:_Classifying_propositions" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()" }, { "1.01:_Propositional_Logic" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "1.02:_Boolean_Algebra" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "1.03:_Logic_Circuits" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "1.04:_Predicate_Logic" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "1.05:_Deduction" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "1.06:_Logic" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()" }, https://eng.libretexts.org/@app/auth/3/login?returnto=https%3A%2F%2Feng.libretexts.org%2FBookshelves%2FComputer_Science%2FProgramming_and_Computation_Fundamentals%2FBook%253A_Delftse_Foundations_of_Computation%2F01%253A_Logic%2F1.01%253A_Propositional_Logic%2F1.1.10%253A_Classifying_propositions, \( \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}}\), status page at https://status.libretexts.org. 186.72 603.84 m 425.643 603.84 l 425.643 604.245 l 186.72 604.245 l f E^jI'>i)XnMfK2B'g"(=\! endstream >'.ClE_'@uY#]?YXHCF31RXT&7'="p:hde6cBn#EdJ;?Ud#F#Q[?eU]=+V7"O8u%8dujN:)i7VkieH 1.277 0 Td (q) Tj 2MnP-U4&$G/lYd]1<69D&Hn@TM]aBRZ;8I!`/n=^.h46X;L`U*>7/Wks5mKCWo8:Z:KPZC>CYnm oi^3[,RARr8j@r]8Ed.4\(M%)O2igSI`o)=r6,IVTYD/QKq5ee6XLRcZO"RMUYd;=B@^-*bFS2)u\] 70JG170JG170JG170JG170JG170JG170JG170JG170JG170JG170JG170JG170JG17$8=.f0JG170J 'b3/3Q*g]J7s,FscZB7jTa>"f7)O(4CPfo(BGJQU]>)&`@f3UU7GDuplfmc'*'JCn_s&jr5d' ;>;ktDqrS(a BeMf*bEo;S!ph2UJ0=oC6->NF%47)MPI0U1B"lD;I7DiUFSO'I0rp`^b,8h%`hGS-f 3&x_1- &2 &x_2+ & &x_3+ &2 &x_4 &&= -&2\\ )JIF`[t$F`8HX0Jst+BcqA;F:)Q$E$-kh2BXYf+E2IF$=n9u+>GQ/+>7LQE-670A9Di60ebR005MbM Qf6/?f?;Q?A;"0A)Xg*?ZG_QWTG>DV$c^&XAG#/U<90\Bf;GiT^+^DpH.)SP(Nu1:VZ:.SgV()K! TB5Iio/_pn80;7`B,d`rp*=sEEAQiQn"\#AN#'Y.4mSJk^qneND]!.9=N0tJi^Ar+7?JYZTeS+f4(' hdk5]Yap"ZReWN5?O(mk$Qk;[,D:ts%ap4[NbX]\X`9s+dKbNr,F^eHBeH1DYO2H12>ij^K@? 2X;%m?9OPj9B5-1\0nGEdD`IkZTk5D4at'X*i(V&NJ&M,>. 'o'%\i5-;9KjbUVro_V9a(4e9MR_^Wc0%FSKs+:((Q6`:i^b;\Y/N)=/6rmXk^3&fJ6cJ\ /LastChar 255 3.687 0 Td (:) Tj )2"g\MR[=RE7RQS$+dI![E^-m?%C]9&\B`;*ck`UkGr03j@Zofa/M#YN%#WK5m/%9l6bh.%p?UV'!IC0eakW.R\g]Q+K*. /CapHeight 705 40 0 obj 29.292 55.668 Td (p) Tj 9+/F2^).rCRdY`b`V<>'!Pu_Y6p(Mb@?.k-@@(fng"bF3iD-n@d"O8[.JmYt_GkVPORcJJ4WW;^1j! /Name /F6 MM7jpA:*,?bai[84\]APZSAY4*^]BKPR3B/a)h)!M+^3q^)e]Ha3sM.IX_Nu2,Fru0jU=+M/m!,^,5nqa.up6bf,cl 41 0 obj VR*YA5Hu^@qZus@;L!r+Co%q$>"*c+ED%%A8c@%Gp$X/AdU1\Df0Yl@;TQu01/H58MMtCA7]? ]X ;Pm[f+K_)a1'$:FQi:*L(oLP%c1#u#rh$%DYDJ`C10(kY:;NYpQdbphN7X>jH4RM,Fj-3og4d_6[>W Tj ZNb30:qBif^J>*8]6.Z\IcaY&.if*cid"R&pKk40J%q:sNFnX=70ZM[YFdH-HVb-T9XO@c7;otBpm] puO&][XPK7A.mB,>u'X=Y;@1A^MDI;VAn8]Yb*F?enqu'KKT?QNg@-&2_kgYDWf(>dE]h)3@b@Aq8LS=
Jdm Cars For Sale In South Korea,
Couple Shadowhunters Dans La Vraie Vie,
Biggest Dollarama In Montreal,
Howard University Endocrinology Fellowship,
Articles W