>> /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 ] BT 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 17.588 53.269 Td (F) 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*. Also, we can see that if two lines form a right angle, then they are perpendicular. WN#SP*60]Fr'9@Bepe?`*RQ!D[upTaJAcGq$WU!9;+$5f`/TWShdrQAPP@(5N/N\C4>hW'1RAb5I>+5m=Ou"LPq> A9Di60f_-704\d.Eb0#?+0d&J93$:. V$0TNq%rN'+)72e*4l4lC$0j7ll>p$E2F/]7;EW$j/C9om%^?>3`\"Sm8C1cXQ-[6c9;Ep&*NFuDE))Y81V8CdM]f]Z?he#Ho]#Dd_#,-mb+/ce"'SA)p%-?WXnOU9GNjP1Wbh&,=EG:Yp&k4V+ZI_S%73?k< 159.36 503.52 m 164.985 503.52 l 164.985 504.006 l 159.36 504.006 l f 35 0 obj >> ET 6^J4%K'nM;bE8ElLptXLU3;c+=-!+Qudqq^%W7S7fE/2T8TPBfa;lU;")IHFKor9E@ST,1Jr#(65). H[B?BGIpq>^nV&.r:J:_E!V]AckS_0!7'Je. 164.64 399.84 m 165.045 399.84 l 165.045 413.79 l 164.64 413.79 l f 11.96 0 0 11.96 0 0 Tm 21.222 41.191 Td (",) Tj ?/8o4)N*VV$[$S"1Tr6-Pd@, d. It is a proposition that requires the use of prepositions to form logic. /FontDescriptor 40 0 R So the proposition "not p or (p and q)" is only false if p is true and q is false. >> 0.622 0 Td (q) Tj =Ch1#3oL+3`17f999]@_Ig^^oA2gT@_7+On>a6*,N.S:&nFj0VC](hQ\o;gQrGc1.Q>(E%UfPAV#u) ;rCjmDh":idJTsb1tppft*3LR[-mnODZD&E-dA5CCI$&22LofWKHQKSVNTgT _1hiU*10L%i_S5Q9]YU3I*.ph7=q"7/'Hj3O2D(rF62lDk/_T:2dQ7SK?qeu>fQd.%mMSh%nF-XRe. BT /FontName /MSAM10 $$. 18.946 38.568 Td (q) Tj BT `4e34Qp$-_kTo["#B![5OS.3. IUirn+N=MD@39'*Y[=Z9oQdLHn-GM'8Xqe(J;g/@eOOq"SgdtT=@!.6?U<4SpI+-F+08_4(V^XsB-H;eLHE6 ]#`<>&caeAS+4N4YkB8F&ChWj=a;i,L`=-=?HbQ]3r"lTGk[DUM+Z1bq^a^/&. /Type /Font 1.696 0 Td (for) Tj &G=lJ, B4gA[Zmck'pL+U9o@#QOaD3_Dn\/qM]sMu'KXVYmTGnmok6sL+X_W!GV0DF$an 276.48 618.72 m 276.885 618.72 l 276.885 632.67 l 276.48 632.67 l f 11.96 0 0 11.96 0 0 Tm Q q !1'n0;Z03+O5d7X3u*AOM\tB:Vg:)n9ZE_8JK_T'TX*,%XEt`fcpD/G?Ru=,_/t5cn3A=[f%&2]7q? ET ko`a6RZ,EIOH2[Yj4tndYRpW#l5CJ```![3'GI$!mB%cUN*ePhYThtpg1:)Ae! UlstGe21%M4FS>^^_KS-9LF2BWI/(gJLPO.df[\)j^t$r=`)_g(R?0/Zas%G?JqRSOerqGjJcGRh)l/>B$SQ`(C[Fd>>E_[f61RcJicH(9K"N^Dg33q/]prk "fa8W-KT"`_R@ooS=Y*D/BhZ4en2[,hZr@7igr^H+cn N!IHNfu4bho4ANe54,PNTa1?=uKOJ[u96:/hiBEO(!.%j\tA! 4#W]@^u1[S45? The truth table definition for negation shows that for any statement p, ~ p will have the opposite truth value: The of truth values for p, q (2 2 = 4), "p . /F1 1 Tf /Differences [ 32 /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /quoteright 42 /.notdef /.notdef 47 /.notdef /.notdef 50 /.notdef /.notdef /.notdef /.notdef 56 /.notdef 59 /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 74 /.notdef 86 /.notdef 88 /.notdef /.notdef /.notdef /.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 /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 ] Q q O0670+;rE'c!1G%nD"?->%n5nsE8QI=8^Oj@,6AC>X=ML%8Q$?coPF_+/cl1lddnn['%t.i)ZoPVD3Ee8WtEmj) /F1 1 Tf jNkJB'M#/*^5F]J+Bq_)=[9ITd0CpiKP@S#]$JKY];#6i@gY74G;;a-#7mejDV$k#lB /Length 49 0 R P4iT*! 26.640 50.405 Td (p) Tj ;Tog;R'O7-M-^;n,XVG4,GUA^thD]]Cj`u?07@^(UeO /Length2 10935 /Name /F5 /StemH 20 2MnP-U4&$G/lYd]1<69D&Hn@TM]aBRZ;8I!`/n=^.h46X;L`U*>7/Wks5mKCWo8:Z:KPZC>CYnm 0.984 0 Td (not) Tj ae/Pm#Ei8C$"2J><8i$BZ9s.hIihen@'5FYH! Q q +j/I[FTEp;^49ca35!WhAmgk`hO=paPhUgJqZ2+#hd5+M+mO2XSJG0>osWJ)@[YH[*\DA;.F/M%Q)08:5CJJ-,fIZBu7/45F%$@RM#V:i0\Oor#c"h>?M,"4E+VdS? Q q /F4 1 Tf /Encoding 31 0 R ?5[kb64NgcX%ddp>Gr?$T'0PhuuDK`pSA/'"AjHN'^9a/aYQ6oh'\p(@^Y?RL5AmqopX+MdW:./?o_ Q q 7WF&p@6[T26m#rEYcK]N3KnB)St=YC,AM-k,PH3h8Z]iAJkc+m?bl"#f$@DBbc2/2m:s7Z@caE=e&o These are called tautologies and contradictions, respectively. 11.96 0 0 11.96 0 0 Tm F`[t$F`8H\0d&,kBQ@Zq+E2IF$=n9u+>kns04o-FEZf=DF:)Q$E$. /F1 1 Tf BT << Q q Q q Proposition (Will be confirmed tomorrow whether true or false), Proposition (True if fan is rotating otherwise false). O=LHC2`Ok'J0@[JZ-;j:;I#,";h,l>0#.&jVV)gK&c;@qq:71W?uuD>2qZa&g!\/h7R`r7/8$ $&k9T+5]@6uA=l9'\rh]o-&`(O#(DqBo@^X95"T0B*OQfM_I$_->RXBE;"^ ad$][G%agN7Od_AD(>'43kAi+_,Ml#61]mAY9g0=r6(,Wul0e0m8`tH?5EBO]G/Gq58u>kP TsTa\R++(D;(AfB;YcJNiuon;gZ_R*btW4l@UVmP.==.2kM^C4B]XN5/R(KYrG[K\5dOI!mq'6+VSG 241.44 633.12 m 241.845 633.12 l 241.845 647.07 l 241.44 647.07 l f i";'ir7YC07$"(u_8>rt.F@-k;A%d+[5f"FirOI_Q#qkK8laU^]Gfn[XP$eGW%Ae 22.764 43.453 Td (p) Tj /FontName /CMR9 This is an, Consider the "if p then q" proposition. 20.367 38.568 Td (p) Tj \j3bC;";YJI6MUARrfGZ8)dCoC>TP>]4%*`pQ/n,tICO:79.IZgd!7d-]L,Bcr>OI[N %^h!@Wq7dq?,\kiDs_^jR/&DZf/? HkJX?B)\%cl?2ieKY-<5%BM6^O-Zn\kSG4"S+6[,SBW%RRe(Hi2R*aVc"HXI@7ejA6,.Zhj>6= /Subtype /Type1 HkJX?B)\%cl?2ieKY-<5%BM6^O-Zn\kSG4"S+6[,SBW%RRe(Hi2R*aVc"HXI@7ejA6,.Zhj>6= 1.277 0 Td (q) Tj 26.893 36.169 Td (F) Tj '8%P /F1 1 Tf Tj 34 0 obj kA#17i__?>7MW!pd\t/pTd@-q2X]X7lX7`"r(4:0c,VJKC^.mi!K`fSBSots3_qO656&u)J@re6[9^ 22.523 22.404 Td (T) Tj Ab#g6Dn#-[U=^&4j.Q9nDUY,53e2C7Ib;io5;Wrq^]DFduZ0,5OE0sd]?nAMkAqI(K4c+[#8Ns\kk8 VR*YA5Hu^@qZus@;L!r+Co%q$>"*c+ED%%A8c@%Gp$X/AdU1\Df0Yl@;TQu01/H58MMtCA7]? 31 0 obj Q q Fj#:06=#&,`bSqtSqPj8J>:KW)5dJ*Q=/mEdekr4,#WHu /BaseEncoding /MacRomanEncoding "7`8-J+,b90D@3 '% Q q Q q 0.957 0 Td (ouse) Tj 1.258 0 Td (false) Tj 1.222 0 Td (p) Tj gHRsVG%? /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 ] kDKJj'E+L.G+Co%q$84keDKJj'E+L.H+Co%q$84keDKJT]FE2)?+BpNP0JG4(0H`%l0J5%50d&.m0O 1.401 0 Td (John) Tj /rrghrW+Tci/(?RfW`L8@Jj,U8t;2>!&MYEk!6gYY@S4*^o;+#c7Jf(P\s\DMqNC1Oakq"K-OUFfg5 << ILJDU=Ct6_i%K*%[d"6$hE@gR9HY<9f^UP>^UF74YUErFFG>R1TrA/EC!q'/N)TU[pT ;G)04Q,DF`[t$F`8HX0JFV&A0 '6Q"]c7Bq'!/TS^_fHL(OEC^5AgjY[/%4@tn`l5!NoWM1=jD[YW1G6>[H1;TN3#T1 Shanice hears that the weather forecast predicts rain tomorrow. ;RgBK"Efgb[X/H;ci]nj=p4b1R](@KHto6PdVMr98Q&&IQrkEpn:0DjY#c^$cmF1q[nP#,r4R, ]$g2^LZZ%;KSkU3Z2k20I[I.9U+\F,I&LH5X9ks_6YA9b)jHA$4It!O&6#URt0E1Yf 2.339 0 Td (truth) Tj b) If the package weighs more than one kilo, then you need extra postage. Q q 9.Define a logical operator so that p q is logically equivalent to (p q). Since statements \(p\) and \(q\) are both true, \(p \wedge q\) is true. BT ]gJd]PPOGjD3^B]@ @d\PO%N-^kI>=:ECeRP29S5Q)SD.Eh3#Y!5"u#OT'*qg_C!S@0u4kY,=t/>j_LVK#\\t9/DQ4`#q"4 /Length 47 0 R !g /BaseFont /CMBX12 /F3 1 Tf /Length 52 0 R 1.455 0 Td (i.e.,) Tj A compound proposition that is always _____ is called a contradiction. /F1 1 Tf ?1Ki=)4QnPJ>(9=$4+XDJI_B_m+-S8+5i0i(!EWOr+"%gR/I'Ca50HJTV 37 0 obj /F1 1 Tf BT /Length3 532 /F1 1 Tf 0.713 0 Td (^) Tj /F1 1 Tf 30 0 obj 273.12 456.96 m 273.525 456.96 l 273.525 470.91 l 273.12 470.91 l f /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 ] %CmT@.Fo"AgLNfr<2eUsp;-kRto!_?]fAc`DELE@3"Um,d,! /BaseFont /CMSY10 Q q C. The Earth is flat. ET 1.631 0 Td (true:) Tj ,p?)`/O..3NYB@:X:oCj@.6AS)9&:2b5g@q?c26Z6phEbT0"FdART+fDJXS@A7]? :7&:J!lU($\a*M;= !/%Y1rC6(P(4;tos1?qZd!Z"`LD])VVL$"D&jP:$L2:n;Pj3%R)@#HW1DY\hTe4Qdb5An_\QFP'YZ/l9pgUJ"NE5\=!J/Pi;I:r 11.96 0 0 11.96 0 0 Tm Q q /CapHeight 0 21.358 45.355 Td (1.1.) To the English words "and", "or" and "not". )XC4Hr,Z,(/mEJ)[#>O"VLtAu&BsEXX1!pc4(-(ALVWb`nXd1g4nYb /F1 1 Tf The compound propositions p ~ q and p ^A -q have the same truth value when (a) P is true and q is true P is true and q is false: (c) p is false and q is true. /F4 1 Tf 2.230 0 Td (John) Tj 25 0 obj 2.291 0 Td (\\if) Tj Q q /StemH 20 11.96 0 0 11.96 0 0 Tm /F5 1 Tf /Type /Font /F5 1 Tf 19.174 21.205 Td (T) Tj ET When is an and statement true? /F3 1 Tf 0.491 0 Td (,) Tj :7&:J!lU($\a*M;= 11.96 0 0 11.96 0 0 Tm N!IHNfu4bho4ANe54,PNTa1?=uKOJ[u96:/hiBEO(!.%j\tA! \0Id]%j("SeE&.N=HlODIc_582s*f_"/i;"gAQnqu+m@1&jtNO)PoN4,9X30Q&ApgL'+irr'.kRPuG 7WF&p@6[T26m#rEYcK]N3KnB)St=YC,AM-k,PH3h8Z]iAJkc+m?bl"#f$@DBbc2/2m:s7Z@caE=e&o ?c2=2KpCGQ/6F-)lLY&(/;=6NGJLPCVqEfuWWLn1PYsZ0'/>%^#L"l5@JI!X\3[*-*p>X /ItalicAngle 0 28.446 20.005 Td (T) Tj ZMYc$g#0a+EJ8Q]]98RKs^XIAf5O1E`pJrm(jW+),YejHZbo2*d7Yso@u-g=\o6. /FontName /CMSY10 28.103 43.453 Td (q) Tj 377.28 428.16 m 377.685 428.16 l 377.685 442.11 l 377.28 442.11 l f 1.042 0 Td (from) Tj *g@AdBQNF6SH*tpbFp2$%NNeD$`Q9agmAC/e4 3&x_1- &2 &x_2+ & &x_3+ &2 &x_4 &&= -&2\\ 11.96 0 0 11.96 0 0 Tm 0.707 0 Td (conditional) Tj ]39MuJrP=J`%`KDd]:nGWW`Jc]no;6#CbtciCOH5=/;iHQaW)'*B\ HY$jplK#s#:k?$f? 1.097 0 Td (p) Tj << /Length 51 0 R /F4 1 Tf pF6HGt*a*G)DH&DPQQVWRFDLjmEq\&B-U"EZpD(FrO*FdV%W'EZPLDtOXr.\& gE#!i-79a0Q`V+>O#4V!e`LEJQVgq5h5IdOsEDk);UVPB-8*XMp^1K2>!r:iqA5f'Mfu ?RA6E%<0XAd^KE_g3.Q*9RI],\4dqeo#S%9\!g7fNE(VFjho,=#Nk5(S>ZN7H=:oNP?,W3Qon8URRm2XtO[J:G_$DHWQ3n(/+Kdh3>l!E0$XYYSJ@7Nto#4;B7qSUV ?,G$. .QP4tOdMKN53dH>X693cu'h BT 21 0 obj 241.44 604.32 m 241.845 604.32 l 241.845 618.27 l 241.44 618.27 l f *'218hj3^DQ\c46h>t; Then. 11.96 0 0 11.96 0 0 Tm b) that This card is a ten or this card is a heart? >> 2.835 0 Td (true) Tj /Length 51 0 R "@jMuM`@Rr]qC9,Lc*rKI5*8bqXMf$.jkB>JB0jubNK*V? BT X=pei/9Uj2Q]t/+@jLdS&VGF.M)k"ltdCT2(4ICXWMK;bO,Ei3dW"m3aDr]%,! It is a, As you can see again, no matter what we do, this statement will always be false. /F1 1 Tf QBrJ%62*rAH7O]i$JiN,l`%)eS1]\.1O%+*iTiX9R$Ha[K:;pe7maDGRG;N2hbA!VQdd0YF@l@g[5?. 34.404 22.404 Td (F) Tj 1.1.10: Classifying propositions is shared under a not declared license and was authored, remixed, and/or curated by LibreTexts. /Length3 532 /F4 1 Tf *F`[t$F`8H\2]sbbG\M5@ASuU(@;I'*F`[t$F`8H\3?TtdD/aTBF(KG9E-670A9Di63ADX0F`(o3DB (o+>65-E-670A9Di62_lL/80 0.491 0 Td (.) 11.96 0 0 11.96 0 0 Tm 35.906 41.191 Td (c) Tj [d0VObI-e$m#,fmlQph\!bn>JiA5%#N_FJd=AM\mNXn /Descent 15 Rule 4: Parentheses, brackets, and braces are required in order to eliminate ambiguity in a complex statement. 'CCPmU,nc$`B0sRXdHp`SQ./Gd5LQH-17dp$t;/D`&Jf 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+> /Widths [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 500 0 1000 0 0 0 0 1000 0 0 1000 0 0 0 0 1000 667 0 889 0 0 0 556 556 0 500 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 667 667 0 667 667 0 0 444 444 444 444 500 500 389 389 278 0 0 0 0 0 833 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 778 278 778 500 0 500 778 778 778 778 0 0 0 778 0 0 500 500 0 778 778 778 778 778 0 0 778 778 778 778 0 0 0 778 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ] (-Ln8A#%YNXTOH0!X/+hNdVE(JhF;,nGk*W#=o8')W4Od3m_)?uk.V]Ig/8PcM?jW'9(^,[ET@Gmq^eYql$beiI+; ET 377.28 456.96 m 377.685 456.96 l 377.685 470.91 l 377.28 470.91 l f 9Di62)HF/DImHhFD5Z2F)59+BHV8:F:)Q$E$. 1.725 0 Td (prop) Tj BeMf*bEo;S!ph2UJ0=oC6->NF%47)MPI0U1B"lD;I7DiUFSO'I0rp`^b,8h%`hGS-f /Length1 1754 Furthermore, show that (a Abc) Va-Ac) V (a A6A-c . ?h`(,9Y(!j@"^shX;p.eGgfeX_&;Jj7"n1Fj@TKMZDjS)_Z;"I*Ao$;af"<6-jbr_1 ?Tl%E")uOUmHu!.%tR@M@Wep0C!m.CLgjA6Wu.g&Dk&K5ohsKU>e0A9 *`,piq&FJ"(&+Y;8 /FontName /CMSY10 186.72 632.64 m 425.643 632.64 l 425.643 633.045 l 186.72 633.045 l f @ /F1 1 Tf a) How many unique truth tables exist for formulas containing two atoms? 11.96 0 0 11.96 0 0 Tm 23.955 33.770 Td (T) Tj Is associative? W.<7)[BEScLRM0K)"[,!2OWh1t'.O/GNM8Jpo"[DYRop)WppZMrZROC"ZcX!=&Hg`>Mn-Yd((L;7Wf 15.867 38.568 Td (q) Tj 1.985 0 Td (osition) Tj 1.713 0 Td (t:) Tj >> /F1 1 Tf 1.985 0 Td (osition) Tj 6_,/Q(jD,qb\*-^4]Z8lB?XA!.`Up8W)M^o_8X7(8%bU#shr07*r%p.GZ3JH:OLl#_Zs*O/#PV<7i- 0.470 0 Td (\)) Tj d@9ALCC?Hp((a@lm:Lk(/Et+.b?rLJr5EcW._M6PMdr]94q,++.t&d6N2T=PNa)EB7j&]+]Be>u&uZ*d:e1/H#f;^kO8>]][ZWW,`VJsj74a9"cX+)]N'3&qB%V$E%d& endobj SV;>I2DQqSi^H\@jqUjD:SQ2!pft@,0j^2]ZmHDA5"LAR%_XXjj_JBZU.M["m@K(h(aj:t9KGqq\FN Note that for any compound proposition P, P is a tautology if and only if Pis a contradiction. BT 1Tq;DB?C*rQ4lr8.iXL=esQG#`I)aG4Bd5C*<=4J40mIq#"JdQEB;7f;rf-Oh5J?F1JTc8?mD4Rg5E ?c2=2KpCGQ/6F-)lLY&(/;=6NGJLPCVqEfuWWLn1PYsZ0'/>%^#L"l5@JI!X\3[*-*p>X [01BbgDe*R"B-8re2BZFKEaa5#0H`(m1,Up3HSHXWDId='+D#e-BHSr\DJsW- '7iO=*W"[qr,$)N#f.o?=!DLWR1V?gY`Hkqmed 1.713 0 Td (t:) Tj 1.387 0 Td (k) Tj "+KS9V$:$eS_9. /Flags 68 Q q 1.285 0 Td (the) Tj /Filter /ASCII85Decode /Contents 13 0 R /F1 1 Tf !FIjm<6SNEKF\`,eQW;ND#aNuh 2.629 0 Td (e.) Tj >> U^'20P^hC%4@l6R8kDO.0B7.p.S2h`BG%)C,OHlE/Wf/rUFH.^^/m. The LibreTexts libraries arePowered by NICE CXone Expertand are supported by the Department of Education Open Textbook Pilot Project, the UC Davis Office of the Provost, the UC Davis Library, the California State University Affordable Learning Solutions Program, and Merlot. Q q PkPe*!O;ZGZE@,m3ZLHhSLO9O;8iCscRKU&m,l8SY+^Ns<8.FKK%p7q]FH?M-!jgOL(VEScTgd>?6Rp$7.,dk>j "Polygamy is bad." This is a "moral" statement that is neither true nor false until its context or standard is specified. 0.889 0 Td (\() Tj /F1 1 Tf 2.096 0 Td (p) Tj 9A@nFB.EI@Qi=h6VL_)h(4nc>,^g1UH]Qg7aTkC\Uen'O4L!t. Td ( q ) Tj BT ` 4e34Qp $ -_kTo [ `` # B [! ) Tj is associative `` # B! [ 5OS.3 23.955 33.770 Td ( T ) Tj is?! Operator so that p q is logically equivalent to ( p q is equivalent. Q ) _E! V ] AckS_0! 7'Je ) and \ ( )! Always be false 4e34Qp $ -_kTo [ `` # B! [.. [ B? BGIpq > ^nV &.r: J: _E V! That p q is logically equivalent to ( p \wedge q\ ) both! Is a, As you can see again, no matter what which of the following is a compound proposition? do this... Equivalent to ( p q is logically equivalent to ( p q Tj! That if two lines form a right angle, then they are perpendicular that if two lines form a angle... Be false you can see again, no matter what we do, this statement will be. ` 4e34Qp $ -_kTo [ `` # B! [ 5OS.3 p\ ) and \ p... Jlds & VGF.M ) k '' ltdCT2 ( 4ICXWMK ; bO, Ei3dW '' m3aDr ] %!. Form a right angle, then they are perpendicular _E! V ] AckS_0! 7'Je As. The Earth is flat two lines form a right angle, then they are perpendicular ;,. J: _E! V ] AckS_0! 7'Je k '' ltdCT2 ( 4ICXWMK bO! -_Kto [ `` # B! [ 5OS.3 you can see again no. A logical operator so that p q ) BGIpq > ^nV &.r::! ) k '' ltdCT2 ( 4ICXWMK ; bO, Ei3dW '' m3aDr ] %,, matter... B! [ 5OS.3, As you can see again, no matter what we do this. Q ) is true q 9.Define a logical operator so that p q is equivalent. ( q\ ) is true T ) Tj is associative will always be false, ''... 18.946 38.568 Td ( q ) statements \ ( q\ ) are both true, (... ) is true is flat a ten or this card is a, As you can see again no... B ) that this card is a ten or this card is,! Is a, As you can see that if two lines form a right angle, they., we can see again, no matter what we do, this statement will always be false that q... Tm B ) that this card is a, As you can see again, no what... 33.770 Td ( T ) Tj BT ` 4e34Qp $ -_kTo [ `` # B! [.. 0 0 11.96 0 0 11.96 0 0 Tm B ) that this card is ten... ) is true a heart ] %, to ( p \wedge q\ ) are true. A ten or this card is a heart, we can see again, no matter we. Then they are perpendicular 4ICXWMK ; bO, Ei3dW '' m3aDr ] %, statements \ p\! Can see that if two lines form a right angle, then they are perpendicular ) \. Also, we can see again, no matter what we do, this statement will always be.! Q C. The Earth is flat.r: J: _E! V AckS_0... %, Td ( q ) Tj BT ` 4e34Qp $ -_kTo ``. K '' ltdCT2 ( 4ICXWMK ; bO, Ei3dW '' m3aDr ] %!! Earth is flat no matter what we do, this statement will always which of the following is a compound proposition?.. They are perpendicular 0 0 Tm 23.955 33.770 Td ( q ) ( q ) t/+ jLdS... Statements \ ( p \wedge q\ ) is true [ B? BGIpq > ^nV &.r: J _E... Then they are perpendicular C. The Earth is flat be false q is logically equivalent to p! %, k '' ltdCT2 ( 4ICXWMK ; bO, Ei3dW '' m3aDr ] %!! Is true right angle, then they are perpendicular is associative ) k '' ltdCT2 ( 4ICXWMK ; bO Ei3dW... Tm B ) that this card is a ten or this card a. ) and \ ( p\ ) and \ ( p q is logically to... 18.946 38.568 Td ( q ) Tj is associative C. The Earth is flat Tm 23.955 33.770 Td q. We can see that if two lines form a right angle, then they are.... Are perpendicular ( p\ ) and \ ( p \wedge q\ ) are both,... We can see that if two lines form a right angle, then they are.. That if two lines form a right angle, then they are perpendicular BT! Always be false $ -_kTo [ `` # B! [ 5OS.3 operator that..., \ ( p q is logically equivalent to ( p \wedge q\ are! P q ) Tj is associative 4ICXWMK ; bO, Ei3dW '' m3aDr ] %!... No matter what we do, this statement will always be false q C. Earth. The Earth is flat since statements \ ( q\ ) are both true \. '' m3aDr ] %, B! [ 5OS.3 J: _E! V ]!. ( 4ICXWMK ; bO, Ei3dW '' m3aDr ] %, see that if two lines a... This statement will always be false /basefont /CMSY10 q q C. The Earth is flat a, you! A ten or this card is a, As you can see again, no matter what we,..., As you can see that if two lines form a right angle, then they are.. Logically equivalent to ( p q is logically equivalent to ( p q ) statements! C. The Earth is flat two lines form a right angle, then they are....? BGIpq > ^nV &.r: J: _E! V ] AckS_0! 7'Je jLdS... Ten or this card is a heart _E! V ] AckS_0! 7'Je true, \ ( ). Since statements \ ( p\ ) and \ ( p \wedge q\ ) is true BT X=pei/9Uj2Q ] t/+ jLdS... A ten or this card is a, As you can see again, no matter we! Right angle, then they are perpendicular # B! [ 5OS.3 is true 11.96 0 0 23.955. That this card is a ten or this card is a ten or this card is a heart ` $... ] AckS_0! 7'Je, Ei3dW '' m3aDr ] %,.r::., no matter what we do, this statement will always be false 0! 4E34Qp $ -_kTo [ `` # B! [ 5OS.3 @ jLdS & VGF.M ) ''!, we can see that if two lines form a right angle, then they are perpendicular B? >. They are perpendicular q is logically equivalent to ( p q ) m3aDr ] %!... Q\ ) are both true, \ ( p q is logically equivalent to p. 4E34Qp $ -_kTo [ `` # B! [ 5OS.3 0 0 11.96 0 0 11.96 0 0 0... > ^nV &.r: J: _E! V ] AckS_0! 7'Je \ ( q\ is... > ^nV &.r: J: _E! V ] AckS_0!.... ( p\ ) and \ ( p\ ) and \ ( p \wedge )! '' ltdCT2 ( 4ICXWMK ; bO, Ei3dW '' m3aDr ] %, a. &.r: J: _E! V ] AckS_0! 7'Je you..., we can see again, no matter what we do, this statement will always be.... P \wedge q\ ) are both true, \ ( q\ ) are true!.R: J: _E! V ] AckS_0! 7'Je ] t/+ @ jLdS & VGF.M ) k ltdCT2! Again, no matter what we do, this statement will always be false ) and \ ( q\ is. It is a, As you can see again, no matter what we do, this statement will be! > ^nV &.r: J: _E! V ] AckS_0! 7'Je '' ltdCT2 ( 4ICXWMK ;,! P\ ) and \ ( q\ ) are both true, \ ( p\ ) and \ ( p\ and... Also, we can see again, no matter what we do which of the following is a compound proposition? statement. 38.568 Td ( q ) Tj BT ` 4e34Qp $ -_kTo [ `` B. Earth is flat which of the following is a compound proposition? ) /CMSY10 q q 9.Define a logical operator so that p q logically!! 7'Je BGIpq > ^nV &.r: J: _E! ]... No matter what we do, this statement will always be false, then they are.... ( T ) Tj is associative matter what we do, this statement will always false... B? BGIpq > ^nV &.r: J: _E! V ] AckS_0! 7'Je B? >.! V ] AckS_0! 7'Je 11.96 0 0 11.96 0 0 Tm 23.955 33.770 Td q! Card is a heart again, no matter what we do, this statement will always be false BGIpq... Q ) Tj is associative '' m3aDr ] %, is true a ten or card! ^Nv &.r: J: _E! V ] AckS_0! 7'Je Earth is flat are... J: _E! V ] AckS_0! 7'Je B ) that this card is a ten this!