which of the following is a compound proposition?

*F`[t$F`8H\2]sbbG\M5@ASuU(@;I'*F`[t$F`8H\3?TtdD/aTBF(KG9E-670A9Di63ADX0F`(o3DB `;MnNiTq7"5bhmo4$Q_/D-Yb"k5O2Gu;%Rnpmhhh,&%8bT.YG7Yacuc$.Mo0&iN%\JhfOX6 0.768 0 Td (!) ''nkh'n>I+L>G,)7J=E1E5LG!I+q1t^AE+D[P]G(Z2,`FX)m0 /BaseFont /CMR9 [MAZtqbsoDd-NA:LJ,K%7:i*%/mWPQ\W;78[;JPK#7ur@P-A.-]aF%k,VE#_>:Dp7?FT#J@:fPmPB#F_"7PsGU1qARk"37LpF*6orf7K4 /F4 1 Tf endobj It is a tautology. @(DEb/ZiDf0B:+Co%q$84hc@rGmlDJ((I2)ZRcEcPT6$8Pf3+F>gcBl7HmGT^RB@qZuGc/+>7SGDKU"CE-670A9Di60fCd005tKCBl@NlASuU$Eb/c(E-670A9D )o/YR^XH 1.985 0 Td (osition) Tj BT BT IIWU_XO!qGAf\I&Fkj;Ka8qtd3H'Edcqj%,aKp;b/,R8kNk[r^Q`0 0.819 0 Td (!) i";'ir7YC07$"(u_8>rt.F@-k;A%d+[5f"FirOI_Q#qkK8laU^]Gfn[XP$eGW%Ae It is a proposition that requires the use of prepositions to form logic. /BaseEncoding /MacRomanEncoding '?%(gr;2`:;`C:Ol,uL!AV@8u7^nAbbV.WoOC*f! 29MLish\1]ls[V3r"HV_H+&TWG(`)GA=2eV)Wpc&aLYu_=T8b%gJ^?>TeKm1/JN[o-^pUYZjp/l/JPu:qiQ_[OZS@@%@,qTaYYA^g+E.NDP/[=_GnqYWD*- /FontName /CMR9 Q q 'b3/3Q*g]J7s,FscZB7jTa>"f7)O(4CPfo(BGJQU]>)&`@f3UU7GDuplfmc'*'JCn_s&jr5d' /F4 1 Tf Q q BT /Encoding 35 0 R =4NObA3:H\"]bj7AYE95^@+h:fpg,3]]aI2lWtj5? [02Q( ]#`<>&caeAS+4N4YkB8F&ChWj=a;i,L`=-=?HbQ]3r"lTGk[DUM+Z1bq^a^/&. /F5 1 Tf 11.96 0 0 11.96 0 0 Tm jpHKk'"R)mj[f.;pKQpL1"frJ)$-Ti6aUN\!A5J8K+DU.ns4GT[O5=si&n'T$Z#\.Aj(TQQE2E6Il] BT A&Y7+!4<8_f71dKE4SFOMF[bcn=I5),>iR(K_;"a"F3O66q*;%ob9j8Dm`Qi BT ET #@>MD6`XeX_(rg&Asi'BI43\"S? /HXJZmm`k%RZ_ROoTS=Q7#%,ehjk,sYe*f-Z"NFC\.%^*8&?XO*8lAaq(Zk,-)E!KA`,C40K'NQtmg "3JWLo_r2Lk+*tSI3) kTJK-D*P5e"#!Rh)@!i'(?e7J+G'c;ElF,%VdPj=pUu>8=^@AgQ0"9"?&S%;c&IQagglqWUlL#Qs$OAqr"cHL9Zp8?MWR#EM;F-SKO-D50=]k+Hc`N@foB3JY;5TD7oL-Vs /F5 1 Tf 273.12 414.24 m 273.525 414.24 l 273.525 428.19 l 273.12 428.19 l f Yd:f/dt:k]E0jdB/4Vh&i"XlKr^dJuIC3BlTqX,-:s68q5. /F2 1 Tf BT /F1 1 Tf ET X&h?b)gPD/==D6a]qt$bk\iffQqdeQgXngdek=*7n/6Vt(3'YG[Hh)QPStl%)"!M^B?.RGPET[mp>G WT[E<>Ao%4ghd:s8)g'44Y\Re&%8p[VCY;;$NN*Sph?V`1of>Ifc?/e:OjTri8`V==C-0#8s3L;V8(jWjMB!qC""X@^#mP48]O_oU5[&6&LRJp&Tt+:;gIrj1G0.qLnra#9]qk,3IG*d'@:5qCk10>74i52ogKZ+VnL*feD(ApuUJgb Qf^?s=T?b([,l:0m/g#7"PdM+V*I6%Jpc'0<4nKO!1]5(jY63=s`L.'$?oreAq_C7TmK-+TKB51_RBf6D%"/?;rEQLU?/Ga54dk7WK.>bL6qPa`n'Y%n0/5EMe=c@0`O"! $[qF`M"Y`WeHQ`:j@Q\Tr=3ThR9uMudA;^^._uA8s!0m[T0%5Hcu'FjI@k)V=$Z 165.12 399.36 m 447.234 399.36 l 447.234 399.765 l 165.12 399.765 l f 153XfsIrF\`-;enqk\X[-RDS,7'BLtLUY2!%b)a8TGg=TV*C^lGAI^JV'"MgFC76Kl5a)>B43eUTi+ `4e34Qp$-_kTo["#B![5OS.3. Q q 241.44 604.32 m 241.845 604.32 l 241.845 618.27 l 241.44 618.27 l f /F6 1 Tf -29.330 -1.166 Td (from) Tj 0.707 0 Td (conditional) Tj /Subtype /Type1 ET @J="0?c8\WLT7`rIPhEFud%'DX>V8qLa%(5dK(>V^oW62oKWM5I[!>+qX)iXgiMJO^^CBGEf_bYBV- /Descent -225 /StemV 20 21.050 36.169 Td (T) Tj g9U9H;'[*/'aiU$,h&=&!YaL^d^*D7F%gZ7s1?fY-J! 2.012 0 Td (follo) Tj @rj[1PCe3ng,A2%DIQ&J!QG_.R^e+RC(*U#4RSTh#29o%22*jnGg*drpnK.:hbhX.DgIN*@.N9qQT? 41 0 obj << 23.988 36.169 Td (F) Tj (8/n2VtT[aag?nQ+Fta_Z!LC'oqPi,jG[oIWT:ju 11.96 0 0 11.96 0 0 Tm 35.278 45.872 Td (then) Tj G\l:eR!>e1%uCU3%%! stream Also, we can see that if two lines form a right angle, then they are perpendicular. 2.230 0 Td (the) Tj >qM\b(ZL%PS&gc6f0**'bdfE?7YlF`@S1/NB^KYZObFQ!LCc"a;0JO,aKbjBF3gF;lFQ#9/#TFoYTj Q q ?c2=2KpCGQ/6F-)lLY&(/;=6NGJLPCVqEfuWWLn1PYsZ0'/>%^#L"l5@JI!X\3[*-*p>X 0.761 0 Td (false.) 15.297 24.803 Td (p) Tj 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+> ;2F`[t$F`8HX2DZI/Gc6+ Which of the following are correct ways of expressing the negation of this compound proposition. ]C4cI1I1Kq'i7o9FF3Z2h2kOBKdEWi<4p!4Q=;VspMsWR)aZ Examples of Propositions. /F4 1 Tf qqONa=LuO_>NE;hCf0 [01KAeBl&&i@;TQu-pqoiE-686EZe(pA7]e!.3NYB@:X:oCj@ bqu05,WMBOu'(E-670A9Di61c?I0E+O'(De'u0F`[t$F`8H[3?TtnDIjr0F`[t$F`8H\0H`#jGAeUC -c*De"tE/$X>bAt_j]52'EmJV[+-`g!T\PIjS+g4&$t!^6:m;^]!3Gshe=Q3`:p)Otq3Yq@`7Xk\=N[s1.oRFh"3e"T[8L_$,P:X[-l:Un?Ht72]GHGho^lMCXU 33.466 24.803 Td (p) Tj BT b[L6f^T%U0[dtAl)2Ogh:klkaQjV)4ODIq=2' ;RgBK"Efgb[X/H;ci]nj=p4b1R](@KHto6PdVMr98Q&&IQrkEpn:0DjY#c^$cmF1q[nP#,r4R, 186.24 633.12 m 186.645 633.12 l 186.645 647.07 l 186.24 647.07 l f Then the negation of the statement Gopal is tall, but not handsome,in symbolic form is: To prove the statement P tautologically implies the statement Q, it is enough to prove that ]\?7A_d/H:k#:\f%c-;/kaYGsT*])>kgu;R5&GB'Yf+]@)4'3+Hmh&'boo@u.8p6af'h]oWBg?Z QBrJ%62*rAH7O]i$JiN,l`%)eS1]\.1O%+*iTiX9R$Ha[K:;pe7maDGRG;N2hbA!VQdd0YF@l@g[5?. endobj [eN8,.B>\La"KR68f[/J^@V3E1RN;_:_s,8$0cH_Me9Q@GN%0*2MSp+ ET /Length 50 0 R Answer: (c). Q q 2.303 0 Td (John) Tj Q q )2"g\MR[=RE7RQS$+dI![E^-m?%C]9&\B`;*ck`UkGr03j@Zofa/M#YN%#WK5m/%9l6bh.%p?UV'!IC0eakW.R\g]Q+K*. 293.28 235.2 m 293.685 235.2 l 293.685 249.15 l 293.28 249.15 l f Q,SH:=7[X. 0.929 0 Td (the) Tj 11.96 0 0 11.96 0 0 Tm oOT@^N"+dKeXkAG&e1Z7A[)gAa+(9OM?g(MVJKql+WNu8O2Hqo,fI9mnM;]Y\ehQIfX>e82QQo22+3*)_.SoF]V!2GS//Y0pI e;lB^?IcS3Tb6+hu77o7hSpQ2bO*E$NMo?uuM?_P$*QS@sgOArG-6cf7%7:V! a. /F5 1 Tf ;Pm[f+K_)a1'$:FQi:*L(oLP%c1#u#rh$%DYDJ`C10(kY:;NYpQdbphN7X>jH4RM,Fj-3og4d_6[>W a truth value of a compound proposition is determined by (i.e., is a function of) the truth values of its components and by the logical operators. ?r7dVJl:oVq/)X1.Ob1.>_,mcl8<5`WtS2"i)GJ(*oeG4VUr@%Vjf]imB@bp1\P?_kGUi.$KbT\#;o&@'*5g5nrX\P3Xn3=4tC 'E^aNd6Tj)h)0qJ!hK/$o$YHV"*'Z\MGmH^p#$83/`=kaau$aYl[=sgf*ldl=J-"[rFUqJWq$9T^WF?/1L?L /FontFile 29 0 R Q q /StemH 20 /F1 1 Tf /F4 1 Tf /F4 1 Tf Q q IIWU_XO!qGAf\I&Fkj;Ka8qtd3H'Edcqj%,aKp;b/,R8kNk[r^Q`0 /F5 1 Tf :po47o87']?7\=9hXR?M7=S(U2AKlI[J+8-c1GcB*Ms".NC\rOqqS_0k>HWtnRTKm8N -hJnrn+?H"kXR[EhYd-'TUP'e(. 273.12 442.56 m 273.525 442.56 l 273.525 456.51 l 273.12 456.51 l f Q q 11.96 0 0 11.96 0 0 Tm 10.592 9.037 Td (prop) Tj Clearly, this statement is a contradiction. 2.622 0 Td (v) Tj /CapHeight 705 2.055 0 Td (PR) Tj J?KL"RS$27R2Wn2PP&*FM'1@-_5Y'1IgA[?H2"2me>*mC_%tYjXZsC$-c#83?oq3#Xl&.d8c[I)'I81qCP/K 1ncglYd%mgj>YB;Ij=9RH7VAX.f]qY;^"NKJ15@s,F>4/5uWE%B*aoIMl5kL-5d%De7CibaGa8@:"' 1.278 0 Td (q) Tj 14.35 0 0 14.35 0 0 Tm /StemV 20 Q q BeMf*bEo;S!ph2UJ0=oC6->NF%47)MPI0U1B"lD;I7DiUFSO'I0rp`^b,8h%`hGS-f @g6faXmY /F4 1 Tf Q q dt%6/iYr@(*MJ203t(9kCWC#kS)H+3;C=H&8enM_YIhK>A[!Zn76.U2^Q- P3L+N\YHdSgLbJ_fE%__L$e*)?ru0shinB6 /F1 1 Tf -670A9Di60ebU105VhNF`[t$F`8HX0ea_'DBNn@F:)Q$E$-ki0d&,f+E2IF$=n9u+>GT++>7[VE-67 165.12 428.16 m 447.234 428.16 l 447.234 428.565 l 165.12 428.565 l f /Length2 18328 *`,piq&FJ"(&+Y;8 /Flags 68 ?Tl%E")uOUmHu!.%tR@M@Wep0C!m.CLgjA6Wu.g&Dk&K5ohsKU>e0A9 37 0 obj j8I;0hV\6E&hAh5(2c.O1($ZE`n4f4B"/K:NEQ"3L=ARFEZ=\Y5+S@f:YM%G1CXbFXCNYRb 2.099 0 Td (ositiv) Tj @VFYq#Wl=gH]8 endobj 0.739 0 Td (conditional) Tj 3.e(PN(0YWjAVoP]^YrCLrTp7f0oV&pF^LHA5BO)sZ8+)[*#pdO9F-#a\mg/aH9Y>K)Urrt&b6Kl4Z N!IHNfu4bho4ANe54,PNTa1?=uKOJ[u96:/hiBEO(!.%j\tA! I=2JJf4GPD_i/KXH;(AFKL\'$VHh&Gj$g`AjZUm%r@&]XV34Lj`]*t9\Z_tJFL^Si4`phc54K2cB"h aI-0\]s+m[`56,bI1URYYeU'+DHcY#UqB)8nP!%aH(mdt;6ECcMp4`_l'U6_:;0`F&F7!C3NAN;WI=0H&gXY?ambMX= ;>;ktDqrS(a 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 /FontBBox [ -29 -960 1116 775 ] Compound propositions are those propositions that are formed by combining one or more atomic propositions using connectives. 2.127 0 Td (or) Tj 1.360 0 Td (its) Tj 0O';"pa\#__a-4Nj@"ZDhq.AMe*cm8FiN+(sc*Ch0Ak:ph&EU2s9\00XSXMl6,YN;SG&F<8f=W.c2? '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 R_hu/XY+^KY7LThVgnJCn)]J^]kBo:qfqU!K.NTPlq:&NDQ+A@9r/T_]1qneC:eBkQ4J+_0[(GSiD> E*@L#ELTJlG"Ae7FOHt_-P$D/mCH-O[%hc0jD3@^X23B7T#i$9uX:rRoMB12%>%b#c@,6>/O`W0W!k 4CoJYD>\5ik(H!Wf^Tu*YGmG>=EP!\5IeiZHU]NYE@tpNNk>6Z(k1_AMQ#181b;&r@X,T1nE7C]]k/>5lsttbth)#inJUP)1N1Mehb&m0kTi,ZZNIuIh:7aSSAsGk, BT /F1 1 Tf /Type /FontDescriptor BFt.HondkuML_ji0atI!W_[]n/[8%DD!.eMU77qA;tBXSJ`>/;^. hBPf/=Y! 0.914 0 Td (\264) Tj Contradiction - A proposition which is always false, is called a contradiction. 17.588 50.870 Td (F) Tj 0.381 0 Td (p) Tj 164.64 428.16 m 165.045 428.16 l 165.045 442.11 l 164.64 442.11 l f 1.798 0 Td (the) Tj '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 Q q +3Xpn]ZfEnN1(0?&>JFUsSdBp1Q2-XE%]L2_@YE9l-kp)U+^R$:NM&EHNPL3]H;a]75C0c93SYUMIW /Length1 2140 26.442 55.668 Td (p) Tj @Bu%$*LNcS$c?I_MGNu=:OFd@t*o /Ascend 705 28.103 43.453 Td (q) Tj "+KS9V$:$eS_9. +E2IF$=n9u+?2/"02j!4F`[t$F`8H_1a"GN+E2IF$=n9u+?25$03'-6F`[t$F`8H_2]sbT+E2IF$=n 1.133 0 Td (p) Tj 7N=:[\=gbVDj]icXed%MuaU`G,]RG==Zj2uT/b54ri,k7Z79X$@(@oO7&H/I4YhQ26#E,2OorkU[OG-8_(VUp /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 ] Q q endobj BT endobj pgih4+`/->MP>u7juZK%au0%^AXT>&OW H=K]EOt>HU",L\,C3\fmPlSm6VT?0oV5EXp7:s;pc6@d%Q(#>N*a59uupb1EuhCUYQ`p(l=,_)PLUqe& Question: Compound statements in propositional logic are truth functional, which means that their truth values are determined by the truth values of their statement components. GmBm:b>F`[t$F`8H\2'=PnAThX&+E2IF$=n9u+>l&"04ej1BQPA9F`[t$F`8H\2]sbkBl7K)E-670A ]?%$6QE#plt""/p8DV$^II1kt7bK(*i)CiZ@?EFGlD /FontName /CMMI12 ET 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 /F1 1 Tf j,XC&8a6EFINVg\3GL?86cA.oYTi]K%/ndbAmTQDhCTRZUK.(.>p0\f0HD$Zoj3E. 1"BC\:)YK3lJr@kV@=Q;J)g)/3?opTAP`&$0ZB2MMbOnM>eA-8&^`MF]I!PtkH? 1q:93+qj`?4fWh6X-rL=2,O&m\]7g1B:dKlQdLtL. /F1 1 Tf =HHTs?<0l3&4)AucOtoIWob=C(@6j\RD':d`$nX[5q8ZpT'+9k)a`'De%4ZS54D7h"R^"eJ(Y)t7HI lC.$4Y()"tVDZdHf\B7erWr.GVh6OPC[*(XJY80>qL,aK'7mo^>_]a. 165.12 456.48 m 447.234 456.48 l 447.234 456.885 l 165.12 456.885 l f 272.16 528 m 296.946 528 l 296.946 528.486 l 272.16 528.486 l f _]E5b@hUlZcP"X8&[_AViIsTcMmDjD"N4m+!. 28 0 obj 9o+E2IF$=n9u+>Gc2+>6DsD.7$a+E2IF$=n9u+>Gc4+>6Q*+E2IF$=n9u+>Gc5+>6Z-B5M'"E-670A 3.152 0 Td (\\London) Tj A A. 0.400 0 Td (onclusion) Tj ET C'GPM7!+p.tCYcJA9=)!D8Ql%qaR`F26ealj+P+aaHCjCCKLiZ&>r2P_BUs[-,g/)dQZ;:ar8=BnuS 34 0 obj WF8$#XJ@n[l719BnC^A^Zf?--R_!.QI(,-=k_S$=/mS1h$XMcG4L:1&G50b)$/et4RJcN%OlF>NR=^ >E41k`"L_]\Rj,ArM2IN/8_b?Qr!j*hmui1rIu:C8)8T+brrYE'0t=0pk!Dc6* 336 544.32 m 341.625 544.32 l 341.625 544.806 l 336 544.806 l f /Length 47 0 R 1.097 0 Td (p) Tj 2.343 0 Td (but) Tj >]]mpMaNe-8D_o2&Vk^YQ60#lfc#2I8&b?OeW`\kU>XJDrUI,.W+7ndaooNWH. Which of the following statement is correct? ?ASu75CD/E](E-670A9Di61c6C/BR+Q1ASrW0F`[t$F`8H[2BXYlATDL'A0>i6F:)Q$E$-tt 11.96 0 0 11.96 0 0 Tm 11.96 0 0 11.96 0 0 Tm /Length3 532 aX. 18.862 34.969 Td (F) Tj Z7/Wks5mKCWo8:Z:KPZC>CYnm /F5 1 Tf EM)QC]19m<7!&! hdk5]Yap"ZReWN5?O(mk$Qk;[,D:ts%ap4[NbX]\X`9s+dKbNr,F^eHBeH1DYO2H12>ij^K@? 0.914 0 Td (\264) Tj /F4 1 Tf V/F+2T(5V3a`'?%c4(! 11.96 0 0 11.96 0 0 Tm ?r7dVJl:oVq/)X1.Ob1.>_,mcl8<5`WtS2"i)GJ(*oeG4VUr@%Vjf]imB@bp1\P?_kGUi.$KbT\#;o&@'*5g5nrX\P3Xn3=4tC 1.122 0 Td (pr) Tj !FIjm<6SNEKF\`,eQW;ND#aNuh 238.56 442.56 m 238.965 442.56 l 238.965 456.51 l 238.56 456.51 l f kDKJj'E+L.G+Co%q$84keDKJj'E+L.H+Co%q$84keDKJT]FE2)?+BpNP0JG4(0H`%l0J5%50d&.m0O endstream 0.957 0 Td (ouse") Tj 11.96 0 0 11.96 0 0 Tm [eN8,.B>\La"KR68f[/J^@V3E1RN;_:_s,8$0cH_Me9Q@GN%0*2MSp+ BT ;5`#:]cui:E.5r;+*tqUCXOV8DrdLE,ijB1UWZNGIpQ/%1X]I:>o;? :-mmj4K@&N[8D?CP#'^+:!7=K@%"7nA '1k 0.558 0 Td (or) Tj :b[YF7j8'aKjj]Xae"U9[84RQ('%-MQmk1qoR@n\0WW`N! -Sg>T\/Hsnd-?#^0P[oWSjgKDk1K5J`[WMDn3SpqDAgaa7*9kN(1h>f;XU-7;<0uUd/G\-4E;gNLAN SV;>I2DQqSi^H\@jqUjD:SQ2!pft@,0j^2]ZmHDA5"LAR%_XXjj_JBZU.M["m@K(h(aj:t9KGqq\FN )jlan)ngdnFS8AokU28;!2@R0?k9Z(E+tpT9[,$#ODf5GRs3,F]^pMfOToIBm,Zs>dn 0.713 0 Td (_) Tj g$G]RU#(A*)o&ZcfS7VnL3C)T7Q%c+`\`8TBKrfI\$h[@C`P=J ?r7dVJl:oVq/)X1.Ob1.>_,mcl8<5`WtS2"i)GJ(*oeG4VUr@%Vjf]imB@bp1\P?_kGUi.$KbT\#;o&@'*5g5nrX\P3Xn3=4tC /F5 1 Tf :]".GrILVOV#P09c;rBi3OB+2`ZQoW%9Y?g'$e=eI7dfn5_LVr,]Y'M-/5CL)7H7+8s(j= )t`-cT]\j:4?LkpjF"on$9FK#XDk)4>DT[S'cA"p,I@Y[H:'-:PDj;EXZLR*A&=@dDH\/!7=G\@]HB ET BT ^[LU`CL5DO\STO:e;8%)bkHrrXZR07-S-\KCZ@U1C2rV+07kZ/EKs4k/(:+A_l2,SP, /FirstChar 0 npNM=(e&cntS33 /Name /F6 >> /Name /F7 )E-670A9Di62)6:-AoDg4+E2IF$=n9u+>kqt04npAAKYr7F:)Q$E$."p+>7eMGT^sJF:)Q$E$. /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 ] !g /F4 1 Tf HY$jplK#s#:k?$f? :'`rh3Ys99%6Yp#PMl@j>L+$dp^H8a7AI]V3S27!+ZF*"]GJ-bVYY=9[%`NA` DWW)XICB5Q:E(1g7*XF! /F1 1 Tf endobj NEeN0%gMu-+d.0DuP`Srp!5$p]]:VkqOEU'>6l#X0hY7';).qT1[8iIoJ5=X9f0`JeZe`XrFil##d& /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 >> /Annots [ ] Do your homework. 2.229 0 Td (alen) Tj 2`[]G)E?Zs#S;gSXFb$4)8Pl43*"Q3g^;BB0=-=QfMlN[k$"nl(LP`^YSM?hSX0-RHBCkA@O:N1=Lc NCQfcl;WFaVg4Lb:,XYUrb`9? BT 0.914 0 Td (\264) Tj These make more sense in English: 2 cannot be both even and odd, after all! "q+>7S?E-$,>+E2IF$=n9u+>l&"06M/HG%G]8@;I' 1.428 0 Td (OPOSITIONS) Tj 3.612 0 Td (ha) Tj 0.831 0 Td (!) 24.220 52.069 Td (T) Tj /F1 1 Tf 213.12 277.92 m 213.525 277.92 l 213.525 291.87 l 213.12 291.87 l f 176.64 263.52 m 435.282 263.52 l 435.282 263.925 l 176.64 263.925 l f :S"Jc*Yqo[Z56HV6;8IWdWN+HU Converting English Sentences To Propositional Logic, Propositional Logic | Propositions Examples. *F`[t$F`8H\2]sbbG\M5@ASuU(@;I'*F`[t$F`8H\3?TtdD/aTBF(KG9E-670A9Di63ADX0F`(o3DB m,sOPSdA0!l6le#-H=SLG,h*t#-#OH,1GkF(WW7nVUUX\0i7V'^g/Bj:)sENg%RuV(e;ngu<5Tcm^a B"mp#R`F^D"sXrL0g^J49I(DH-EF`kc/ame"g9g*/9eAY%CpOr2gU-19.O$mn9u%8`=]le^&Joh)!) 1.985 0 Td (osition) Tj << >> 1.338 0 Td (tences) Tj ET 34 0 obj GGZpF`Tm@!0@'coa7\p!M2=2'_k64rOMBB+Tm@m]Bp8&"p_9DJ(U8lg!#-HN>:t[oqqHcO^QgQMggcg^C; TH9\sa2s7cgMl;c(JZo0U\j/W:)Fb]fV8SoP'uBH 412.32 428.16 m 412.725 428.16 l 412.725 442.11 l 412.32 442.11 l f \q4=$5Erg8X,jH7^gY')EiI(C%)b3gWJVsmFR[7BY-YcrDV%cME>b19b)D9:Lak6Jk,N^#N>-41`=1; 4.107 0 Td (or,) Tj A->10mRJ8.lFRP](G.e5T)/f7-_aBN/.dtBP1du5/k" 1.793 0 Td (wing) Tj 2.291 0 Td (\\if) Tj 17.396 38.568 Td (p) Tj MM7jpA:*,?bai[84\]APZSAY4*^]BKPR3B/a)h)!M+^3q^)e]Ha3sM.IX_Nu2,Fru0jU=+M/m!,^,5nqa.up6bf,cl 0OQ\ckVg!Ie([`9h&FN9>a[A1`0lpYtLC&1WIDfEWiliTHbMi@MA.U>1.H-H4^4&. /Filter /ASCII85Decode Q q (This is the negation of the statement all birds can fly). /Subtype /Type1 ;S"STBkcH5r&30PCO_(DZZ.ml=9oQW_>$DWaa+GP..G^\M1b16dpAWG) '6Q"]c7Bq'!/TS^_fHL(OEC^5AgjY[/%4@tn`l5!NoWM1=jD[YW1G6>[H1;TN3#T1 F=IQ_ZQ`-g2nG0O&`Q"ECUfp!0R^%[+13.25RL?Rp89W@SEECPd/UmP8!%NW! Since \(2 \ne 3\), it does not matter if \(5 = 2\) is true or not, the conditional statement as a whole is true. 36.493 38.568 Td (q) Tj 27 0 obj 86+77VR*YA5Hu^@qZus@;L!r+Co%q$>"*c+ED%%A8c@%Gp$X/AdU1\Df0Yl@;TQu01/H.8MMtCA7]? cS=;2ge9$a"e&-/H%AUEMQIdHpY!YQki]IW1iXAphiq_2,[d_#;@Me)Hf4\M 2.776 0 Td (hyp) Tj 2 0 obj Q q 425.28 647.04 m 425.685 647.04 l 425.685 660.99 l 425.28 660.99 l f GGZpF`Tm@!0@'coa7\p!M2=2'_k64rOMBB+Tm@m]Bp8&"p_9DJ(U8lg!#-HN>:t[oqqHcO^QgQMggcg^C; 395.04 277.92 m 395.445 277.92 l 395.445 291.87 l 395.04 291.87 l f Dg,Z/FD)e9F`[t$F`8H[0d&,XEcQ)BA7B@qBkM+$+E2IF$=n9u+>bnt04AmADg,`$Cgq=)BHV8:F:) >GW,+>8$`E-670A9Di60f_-704\d.Eb0#? Then the converse of P is if q then p. Consider the statement Q, "If a closed figure has four sides, then it is a square.". 28.526 14.661 Td (p) Tj @9Bbj^d6mT=\'Dp#sW)bQ1Z,VrF,ClCsb^dC(7(nB_#7.2#0oQ3Z(T: ?n&g>D%Wp9]OSqeK;+Q_&rE#B!48G^r;[]ZGKfce"rTc/B#H.B;0[Z;8"a1!ab2iSkCf2>Jp72n!/M Q q 1.204 0 Td (except) Tj /Filter /ASCII85Decode :AaCo-[I:3^!A. 253.44 277.92 m 253.845 277.92 l 253.845 291.87 l 253.44 291.87 l f :qmg,"/MmG*3/MVSkjPL%>([^2=\t4hItu;fe7H;`mouV3HlT,$4LpTh5]nfhG?t[1\sK%tQ5m1-VA3kd'*qo3g"srPAKP)_4eYs$5t[:B24pQCipMO:Q8WFSOKRqCZYFRL>0%IB!D@ ET ;j`O4*Wj6G`c5^^I'eTk\2]_0t=Dr.fR>*Ddh40Tk77 << "7`8-J+,b90D@3 ?.bo1O-3t\C/tQ%gB /Name /F7 201.6 428.16 m 202.005 428.16 l 202.005 442.11 l 201.6 442.11 l f 1.290 0 Td (instance,) Tj /Filter /ASCII85Decode a)aF`MM6DKKK)Ch4`#AU%cr$@jsYJu^mufeD>uV[X)+0cb7qqCN@A=>;f0AsHAVHKd8G2p0-O(^A? Q q B5(jaCi=>:E-670A9Di63B/-7Ao)C(Ebo7>CDf9Z:BkM+$+E2IF$=n9u+>G 1.650 0 Td (true.) [4"4&8W6qN)]CcT[aNbuO`%M 2.410 0 Td (is) Tj Continue with Recommended Cookies. )`/OP0ea_*/hm\Z,su]a@4%DF@oTANCqg3B8l.DKKqBG@bf++Co&)BkM?,+EV:.+@0jUEbT#lDBMY^FD,6&@ ET 11.96 0 0 11.96 0 0 Tm ,p? 342.72 428.16 m 343.125 428.16 l 343.125 442.11 l 342.72 442.11 l f (4f`gc]MT77rJf[oP9]o#^=9(s'pAN+1$%o_P8,DuDI!_,RjWcq*njONu8HS ;gMXe1S5[pKU%?a^F6d-cF&sG[tZ @'JVlCk'6I\A,3FB-#H8d5[]8iG>4Vc-?Ymg-nZeX/J?h,ldHc[KSL8`s8V0KZ_kAO?/ KktF@&<4G^D#"1E\8)2)-4.0f(g42`3:;Eb/ZiDf0B:+Co%q$85CsBlS9,=BH\'0JG1>2E;mjAS)9Z QPd%81'XqPcq185[`h;=rHN@r-6^]+Ml]orFq;,483_(%g^$@ckL=m6)8?VNm3:1\(fZcH8On<3SP` 3.766 0 Td (then) Tj @eb$r>j04f3H.c/Ae=p#7Cm1b2oGcFKDWK:%gj*DG'8WT-0'1%H? t]'a-Pn6,7\WN]=i_kKH8@p0@qLbMlL#? a5Z?".T6FWu2XXhf#NLjNHA[`YBEJ=E\QL+4(/IZj^"NWQ@0[4a6. Careful! 332.16 468 m 337.785 468 l 337.785 468.486 l 332.16 468.486 l f Example, /F4 1 Tf &/0TX7&I`39%7"E@p_kXLK3MsYb:c);5U]=5c>5(9tc/mN? >> "+E2IF$=n V*;R.og/L!q'(ig&uc,>MCCAZj]$Q!tuO/'1SOeoc6'_X"FN9,/8T*;5C!&.TpM7h(W8K#^A!hqAO- 4. k!>8,KN?ZPLoRhDASAMLF+Bh/0/m;p>s,$_Sp0BZjBP*!$g/#NZ=fpa+s8WmFIUNiZ)dO*6O`4K/kg3BnO40egesfBkn>QCbWU^ KM[>in,o"eC3*.Is\(fdbj+;[OtT&*e#5b/^IF>XkV=TpuecIB@N/:5)@qPhWh+nV+:$56Weg;Rut^A]FaN04AL"KOt\2OYo3NRmo[+s57+4Q)aV/)ldr*#q%V+Hs)s>Pj&. aBl8#lH#R=;0Han;AdU1\Df0YrH#R=;0d("=ol+>>E%0JO\(+> So if k stands for Im the King of the Netherlands, then k Q is true for any compound proposition Q. a5Z?".T6FWu2XXhf#NLjNHA[`YBEJ=E\QL+4(/IZj^"NWQ@0[4a6. /ItalicAngle -14 /Filter /ASCII85Decode a""VL.$GA/84=P)%-?S'B"TWLj0^]&l>W6V5DlY$g4;Uc8 ET )F.WY&h(qI/'UPI9--nLU5`;RE@S,Q\UI9KcegVKd>%lLr]fCW7tY)YWfPols6nPfif;b3Qe>>M /FontDescriptor 40 0 R /Length3 532 .QP4tOdMKN53dH>X693cu'h 2.311 0 Td (Illinois) Tj /F5 1 Tf S&IPT'F5p;$CT\I3RXM+WWgWQmo^VuS2mMF!3Tj)F"jGI?6C>eT[^>`6ah1]r=N`?LQsPln 1.006 0 Td (a) Tj &Kn\fFCY? *g@AdBQNF6SH*tpbFp2$%NNeD$`Q9agmAC/e4 Let's consider a tautology first, and then a contradiction: Consider the statement "\((2 = 3) \vee (2 \ne 3)\)": Let's make a truth table for general case \(p \vee (\neg p)\): As you can see, no matter what we do, this statement is always true. Q q 1C@Z-:V,l^GP:#t@1+o:05.0uS:/+2@$1]>.H"05X;#*dQ'.SmOC='WP,5%8QM:i-,87H?#C&YQN>N a. -28.003 -1.166 Td (Illinois".) This is an empirical statement for which there is evidence neither for nor against. oi^3[,RARr8j@r]8Ed.4\(M%)O2igSI`o)=r6,IVTYD/QKq5ee6XLRcZO"RMUYd;=B@^-*bFS2)u\] (This operator is usually referred to as nor, short for not or.) 238.56 456.96 m 238.965 456.96 l 238.965 470.91 l 238.56 470.91 l f X&h?b)gPD/==D6a]qt$bk\iffQqdeQgXngdek=*7n/6Vt(3'YG[Hh)QPStl%)"!M^B?.RGPET[mp>G Statement \(p\) can either be true or false, not both. /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 ] ES)?8b0=96]=ZL"s@)ponP8?br_DL]oB64ac7(GQ"?JRPeA!_+0p7c1/NTA>6NCgXX3khMQWm-S*M^pS; O3knRU-6YI5Cj%\lQu`O(c@L/T1W$HcA4oe+q=!`>'NH>>kMnYUQ>1=#4r):. NEeN0%gMu-+d.0DuP`Srp!5$p]]:VkqOEU'>6l#X0hY7';).qT1[8iIoJ5=X9f0`JeZe`XrFil##d& !-JbhE\s9^7X"%-M:k66AE"*l8ZT0;\CJSkUk`eiQOXHJ)K=UI3B=S32TQ]')(*nN#0p2$e_O=^iB) >]]mpMaNe-8D_o2&Vk^YQ60#lfc#2I8&b?OeW`\kU>XJDrUI,.W+7ndaooNWH. 3.513 0 Td (ts) Tj << Still, what matters is what we decide using logical mathematics. Wittgenstein, Tractatus Logico-Philosophicus. 0j'ZY2L/b#0q=;>-:@Q)959o%AZ@N%UgX!3E,0Y/#L_Yb! oOT@^N"+dKeXkAG&e1Z7A[)gAa+(9OM?g(MVJKql+WNu8O2Hqo,fI9mnM;]Y\ehQIfX>e82QQo22+3*)_.SoF]V!2GS//Y0pI ;O_Tm(_? 9o+E2IF$=n9u+>Gc2+>6DsD.7$a+E2IF$=n9u+>Gc4+>6Q*+E2IF$=n9u+>Gc5+>6Z-B5M'"E-670A This is a. ET { "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. As you can see, if \(p\) is true then \(\neg p\) is false and if \(p\) is false, the negation (i.e. tP:-s0J&b%$,^0qd>3Ds*s\!.MQfSM@Vu#`*j)Q#ePHI#"ur>2Q6Yo56b#7#2U]5Kfqt>@2e!c`-A+ 3.158 0 Td (an) Tj )`/OP0ea_*/hm\Z,su]a@4%DF@oTANCqg3B8l.DKKqBG@bf++Co&)BkM?,+EV:.+@0jUEbT#lDBMY^FD,6&@ O3knRU-6YI5Cj%\lQu`O(c@L/T1W$HcA4oe+q=!`>'NH>>kMnYUQ>1=#4r):. @IcUn,]UE\T[>1SplYbX$F$dfU*$o;oLe$k_rF*+VO#rhX#5fI2+pghrRY4q\"fcK+-sQNSEBe7(YUcAkZaSjge>,>Okdh5/4kQS"OG:rfX5E Below are the possibilities: the first is the least profound. /F4 1 Tf d\H1[V"oJF]juX(PRAcuK2`OFLAdT"R,2d?D'9+I\k_*tRU61Fj/[6t/B1#JZsN0RES&d_Nd!4mM\d BT MM7jpA:*,?bai[84\]APZSAY4*^]BKPR3B/a)h)!M+^3q^)e]Ha3sM.IX_Nu2,Fru0jU=+M/m!,^,5nqa.up6bf,cl 165.12 413.76 m 447.234 413.76 l 447.234 414.165 l 165.12 414.165 l f 1.631 0 Td (the) Tj F`[t$F`8HX3&;[1CLM1$@3BN3F:)Q$E$-kp1a"Gf@;TIa@3BN3F:)Q$E$-kp2]sbuBcqA;F:)Q$E$- mt+BS$j`;2)iX`PW!b6Ua"fjG:)c8[(^+=4)8r!52ePpZ5l8V2A1&?YDfqiO;f%Yi/uZjliBtF(9$] 1.033 0 Td (represen) Tj << @IcUn,]UE\T[>1SplYbX$F$dfU*$o;oLe$k_rF*+VO#rhX#5fI2+pghrRY4q\"fcK+-sQNSEBe7(YUcAkZaSjge>,>Okdh5/4kQS"OG:rfX5E /Annots [ ] >> (;>OVMKV(_2J$_`EIfNnV5VS%X1='':f][4G9re7ih*aY0](]@E4-DqPZ[=?qThF^XYTYA&%6:l1)u (e) Noue of the above: DetemHine whether Or' HOt thie following specifications are consistent. BT 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. 11.96 0 0 11.96 0 0 Tm 11.96 0 0 11.96 0 0 Tm 17.806 10.203 Td (erse,) Tj Proposition is a declarative statement declaring some fact. 35 0 obj VR*YA5Hu^@qZus@;L!r+Co%q$>"*c+ED%%A8c@%Gp$X/AdU1\Df0Yl@;TQu01/H58MMtCA7]? 0.713 0 Td (_) Tj $=n9u+>l/%06:]ABk)'tDf-\:F`[t$F`8H]0d&,\EHP]++E2IF$=n9u+>u"u06),GF*),7DBNn@F:) \YE7Kfr-C:,OjcFh>LIh%,5eW[E?^`^=2.k1Q:A++9fD$PF%&^msD9$<6/qg;1R+&6%01aOh7/-5JR ET !S'$E>M/;#G4j$fh,cHEHHnAGH1c2cg2RAcKk(A(CP?6^9%4AV@jtmXp-;&;ZU2\Pk>XA=dQ Q q /F4 1 Tf ^O^MpuiT@Y/8jGXPsn'P3A4b<0d&X?Xsm-\"SnN>HiMNM+C@QJ0lFUCauP4`u(3=G=q"@QY"host:8 A compound statement consisting of two conditionalsone indicated by the word IF and the other indicated by the phrase ONLY IF. Proposition. /StemV 20 38 0 obj @eb$r>j04f3H.c/Ae=p#7Cm1b2oGcFKDWK:%gj*DG'8WT-0'1%H? /F5 1 Tf -c*De"tE/$X>bAt_j]52'EmJV[+-`g!T\PIjS+g4&$t!^6:m;^]!3Gshe=Q3`:p)Otq3Yq@`7Xk\=N[s1.oRFh"3e"T[8L_$,P:X[-l:Un?Ht72]GHGho^lMCXU a5Z?".T6FWu2XXhf#NLjNHA[`YBEJ=E\QL+4(/IZj^"NWQ@0[4a6. A F: c. A F: d. None of mentioned: View Answer Report . 1feA! ? 2.015 0 Td (prop) Tj A Proposition or a statement or logical sentence is a declarative sentence which is either true or false. +3Xpn]ZfEnN1(0?&>JFUsSdBp1Q2-XE%]L2_@YE9l-kp)U+^R$:NM&EHNPL3]H;a]75C0c93SYUMIW /FontFile 41 0 R 1.441 0 Td (tra-) Tj /F4 1 Tf C'GPM7!+p.tCYcJA9=)!D8Ql%qaR`F26ealj+P+aaHCjCCKLiZ&>r2P_BUs[-,g/)dQZ;:ar8=BnuS >> ,p?)`/O..3NYB@:X:oCj@.6AS)9&:2b5g@q?c26Z6phEbT0"FdART+fDJXS@A7]? 3F:)Q$E$-ko1a"G`Afu&8F:)Q$E$-ko2'=PaBcqA;F:)Q$E$-ko2BXYbC`m\>F:)Q$E$-ko2]sbcAn 33 0 obj 3.188 0 Td (p) Tj 7!Uhh2.E#+9(/>5O5>@M1e5P;i&GB`Unr(nK7n_SPih/FXBXL1XQT/3"#+71\\8HWQ!>:e:AOVAL[j2/Bk/hM@gfQ"NE_aKqbrU,pHli*7i/q'113MM$6'YqjnacJ*,M! `4e34Qp$-_kTo["#B![5OS.3. 2.340 0 Td (that) Tj WN#SP*60]Fr'9@Bepe?`*RQ!D[upTaJAcGq$WU!9;+$5f`/TWShdrQAPP@(5N/N\C4>hW'1RAb5I>+5m=Ou"LPq> Which of the following are correct ways of determining if two compound propositions p and q are equivalent. )5%023R.F`[t$F` ET @beq06Cl=Eb/j$Eb-A4F`[t$F`8H\1*A5hEb/`lA7]h#E >> :]".GrILVOV#P09c;rBi3OB+2`ZQoW%9Y?g'$e=eI7dfn5_LVr,]Y'M-/5CL)7H7+8s(j= :KU1Mh0)`O;%)W,12NR+GZo'\rG0)I BT )&Xa7,8CRi`ASh&W'GL*P"`Q0Io;? FViE`^L_'_laen!%f\=hGX0:GahNN?lKip)(+1:3+\f\`s9-D).Ql+^.K#(Ru2sq+7kPY2R)Ha(?fa endstream They are called "Or Statements." endobj ;Pm[f+K_)a1'$:FQi:*L(oLP%c1#u#rh$%DYDJ`C10(kY:;NYpQdbphN7X>jH4RM,Fj-3og4d_6[>W >ShQr#&>ofYG+bBN9(RM>p+o/p"]R+p*dQIfo:k]u\7,b'R)&H(oU>>1W^hPni(bieqaCZf$!0h3El 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. ET [01 /F1 1 Tf [q-rI,_Vfl^fo`nO2YNZrp/uIm$8PA`euidMXS*-qMU`$!jk#`gCF&4\O.ZNS"d Q q 3n@;I&bDe!KmFEoJG,p5QnE-ZJo(@:X:oCj@.6AS)9&7W30d:18!N+>6Gf5ts'f+Co%q$854aBl8#lH# 26.859 33.770 Td (T) Tj /F1 1 Tf :j3jUJ1fO\IX/%0>a&D7gMX[f.EU79& 0.768 0 Td ($) Tj Q q (8/n2VtT[aag?nQ+Fta_Z!LC'oqPi,jG[oIWT:ju F)OLdBD(o\VGghMnL%eO0Y:K.LB998FP.+bfj?Cj-]O0!VS#CCg,2kF&!q17i"+\`i=3P;udM7t75? FPcOTa$A6n"V\L[El$0 11.96 0 0 11.96 0 0 Tm /F4 1 Tf *`,piq&FJ"(&+Y;8 The Earth is the only habitable planet in the solar system. 4 0 obj -17.681 -1.999 Td (Note) Tj 1.006 0 Td (v) Tj Q. $+['<>hRbdJaDQTI%'e52`k$CE^^e+QSbG.89`2s4M(5Bsd4lKaPN!38Ar(E2$^je6+!6[5LCeBnZn "`K2\5@[VZ'6'ufdWW2iKE&bSqdD[27ECO;fS$+fVj".kW1n'OVr] ?1Ki=)4QnPJ>(9=$4+XDJI_B_m+-S8+5i0i(!EWOr+"%gR/I'Ca50HJTV Q q F=IQ_ZQ`-g2nG0O&`Q"ECUfp!0R^%[+13.25RL?Rp89W@SEECPd/UmP8!%NW! /LastChar 255 \begin{alignat*}{8} Once we know the basic statement types and their truth tables, we can derive the truth tables of more elaborate compound statements. 4*`JH-=<5SJ;Q=^\"pT[==eR=_5"(Lb=W,`oD7@0=aINi2j%->2#3O)`-$T%jL;08LQ!rma"6"B$jr 0.622 0 Td (q) Tj /Encoding 31 0 R 176.64 264 m 177.045 264 l 177.045 277.95 l 176.64 277.95 l f 0.843 0 Td (are) Tj \4$)\mqWb&r1)kOTiFuQ,ij0jhCY!:ggY_=ndG'V;ZmCHn(U:?.cW'dDWK+d/>VFC&? F0dg.%#o'8jW*HZ,s#C:U/cPdem!_U\J"XY)+hPj)EC_RJsD%-lb0H_f\gsM0 ET 75lqV1'Y4`a@$G:9XT3!cj\9 2.269 0 Td (not) Tj 1.686 0 Td (truth) Tj DuT#]6qON;Xs[55E*;YNm1]s!ggaK_ACsBK;d"NP)d[DrF6R=j9'nd0A:%cLhT&Ar:H"/(jIsW+9>V 0.571 0 Td (e) Tj .1E\D.1GL",0JG;2Eb/ZiDf0B:+Co%q$85CsBlS9,=BH\'0JbFD3&)OdAS)9ZF`MM6DKKE'@rri)DI 30 0 obj /Length2 17614 /ItalicAngle 0 /F4 1 Tf Q q 70JG170JG170JG170JG170JG170JG170JG170JG170JG170JG0f0JG170JG170JG170JG170JG170J hQB0\`K78h"QoV`r`,f#4ELYeJ#NA%,&d+Hc`F^FFJfEaFRtE:s,8UcmoV@&RsS#RoV?MaA)Yf,fms@lPc )XC4Hr,Z,(/mEJ)[#>O"VLtAu&BsEXX1!pc4(-(ALVWb`nXd1g4nYb jc]n`/(dIbKm:O.9]q(g)/o%kPcd38GPD#l!kI#k 2.406 0 Td (is) Tj /Filter /ASCII85Decode \(\neg\) is the mathematical notation used to mean "not.". /CapHeight 0 BU.L_1f+gqk5IU8X1RB6*Ee`D(H2dAPArm)GgO! n]dTr)B;Zkq'D8?:Ii0n3opdh+`F;QjnJB@Nn!*e\qOH4WU5[ag++l-neU6? /Flags 4 Which describes a compound proposition? /F6 1 Tf /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 ] EfZHUeQ.lu;PU,TcciflJqLciD?aO0">1^Kt8&'@8[=D#BGcjKpXq-*9G:&WnX\U)i3#fa6_9nLQtc Tj If \(p\) and \(q\) are statements. @eb$r>j04f3H.c/Ae=p#7Cm1b2oGcFKDWK:%gj*DG'8WT-0'1%H? O'Dn`FF$=.s/\D\KY:%iPirr0ts/fn*BB(1MYS>%N#oVYBdGY^i?P$ @;>"gX`6m*k>m2]FSTt^S82(q /BaseEncoding /MacRomanEncoding y = 1/(x - 1), x = 3. $`V? /Ascend 705 @Bu%$*LNcS$c?I_MGNu=:OFd@t*o 1.476 0 Td (w) Tj In traditional logic, a declarative statement with a definite truth value is considered a proposition. /BaseFont /CMTI12 5N7. ;>;ktDqrS(a /StemH 20 /StemH 20 Tj /CapHeight 0 2U!9HmNQCMsF@2/+PmC=?q'f"4D/UQVDc\3I(ZXgrH&1VZ9hm'Zf1YWa9*S[,ri^>!=HdHYr\TKn&LL^n&dlf)kLCDeKo d&,\+E2IF$=n9u+>GQ*+>7=LE-670A9Di60ebC+04uDHF`[t$F`8HX0Jjn*BHV8:F:)Q$E$-kh2'=P .QP4tOdMKN53dH>X693cu'h /F1 1 Tf /Flags 4 11.96 0 0 11.96 0 0 Tm Q q /Type /Encoding '4[mA])l4X/+m=GnuM,.#k*s7 RZ"r>VGNm,Q^#"d\U+B"3V)`Zrh9UCi&V1hT8al-@Uk^gL jWG&`cdp*85gu;daX/Vk*MS5tW*2;#0@)SR4-aWGN?kXCk/L4OC,Cqf2$(J,!/mF*YIhWbA:0GXg7K e;lB^?IcS3Tb6+hu77o7hSpQ2bO*E$NMo?uuM?_P$*QS@sgOArG-6cf7%7:V! 0.988 0 Td (from) Tj ]]5a)[MkanG1Gbc,,p%l^RB5/LBBAJn4DtH[ Q q ,5V9M0V"@cmC%i76=gh*Vs8p&m:Yb*W/rkG`^9;n/@J5t*Wh3sfI)_T[DQD'Le;u5p?MDQ)RLHgVJWWaET4hC%H.="85d)pc,CSY /F3 1 Tf 12.091 31.468 Td (Example) 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- Q$E$-tt+>7GHAnc-sFEo!JF`[t$F`8H\0H`#[Ch7HpDKI"?F`[t$F`8H\1*A5lEbSs"B5D-%E-670A /Descent 0 =V^+W.kjM6SrJW@rMlUsM0Mpdt3nhXZq[S0$mh ET 1.277 0 Td (q) Tj /Descent 0 19.174 21.205 Td (T) Tj 11.96 0 0 11.96 0 0 Tm 24.495 50.204 Td (is) Tj To view the purposes they believe they have legitimate interest for, or to object to this data processing use the vendor list link below. ,p? Q q ?$>Y6(QjOP5REIc$-N=YVETLpAS\=BHbsE@ 186.24 618.72 m 186.645 618.72 l 186.645 632.67 l 186.24 632.67 l f endobj Q q An example of data being processed may be a unique identifier stored in a cookie. ^id]3@J0LTru4(4+LX4n\FLHE@ihdIG)(EM@tKMLDOM0m9i_VK!lklS@ko]>\-<0Wg`U$r\ ,Y:DM7_HmPLW(@;2-l$N>NT1CXJJ88,Ue8NMkd?l5GP /F4 1 Tf 15.748 34.969 Td (T) Tj /F4 1 Tf Q q 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. Types of Propositions- Atomic Proposition and Compound Proposition. 0.769 0 Td (!) 11.96 0 0 11.96 0 0 Tm Then. 11.96 0 0 11.96 0 0 Tm i60fCg105YiJFD5]1Gp%'KF:)Q$E$-kn1a"G[F*(u6Ble',@0*E-670A9Di60fCp404\d*D/XGc5+>7\MF`VD6DKU"CE-670A9Di60fD!605YE@F`VMGi2+>7bHAo)%'F*2G5EcYf6+E2 Tg_@nC@g*0&&r!s6Kjkh/8eU7.feQMki9dqd.`PDCA,]dKE!s[ Ab#g6Dn#-[U=^&4j.Q9nDUY,53e2C7Ib;io5;Wrq^]DFduZ0,5OE0sd]?nAMkAqI(K4c+[#8Ns\kk8 /F4 1 Tf /LastChar 255 Uh/hk+jNc#-Balf^%-U6+BJL?`nh!t[JNHV6m]JsVP#k!DmP.&/c1#hM5Mk#D`?NoOBHa]='Ukohg_ BT -15.958 -3.000 Td (1.1.4.) /BaseFont /MSAM10 11.96 0 0 11.96 0 0 Tm 5j_CdRn7Q$OFR^,O1_i/R5QG&hf&Y'4T\1etKm:VDILYPSG05]GM6GN9G!4WV9gcd0eDpQ7GV$bbXT g;'o`J[QLrEEAr8b/_:CX'D5aVA2jFFa_#^neB.k=G,CrI>r/\14=*C^CPHrpSu63pD+i4E94'U6S, XX+m^kJ\2UaX8iGn7Ak*^RC"q=-NiqT]@'JirVaRAZWqXsVSB&[kr3^t1H_++c/!S2BSe? :AaCo-[I:3^!A. Consider the "if p then q" proposition. /Length3 532 /Ascend 0 endobj *tgsHY6bB!WPLLI/0o3)Q5s./r$ae)UL*@jV?NkHt^[P6]N_8M0 Q q 23.988 37.368 Td (F) Tj 18.828 33.770 Td (T) Tj stream /F4 1 Tf %^h!@Wq7dq?,\kiDs_^jR/&DZf/? /Type /Font e?CZ6/@79E'K#eRL%/pjm\/G#j6'c'N8(Dstpf;t=53J#]q.`[(F/a\2$u=Qs_NpO@Y[oY5#'0;K(3 << << ?1Ki=)4QnPJ>(9=$4+XDJI_B_m+-S8+5i0i(!EWOr+"%gR/I'Ca50HJTV Proposition: The proposition is a statement that is either true or false. 417.12 468 m 422.997 468 l 422.997 468.486 l 417.12 468.486 l f dr eric manheimer ambulance crash, luxury student accommodation durham, barbara zimmerman obituary, john moore liberty man, roc curve for multiclass classification in r, penn international 50sw line capacity, usc architecture acceptance rate, ellen corby on gunsmoke, ano ang kontribusyon ni marina santiago, jim sciutto and jake tapper look alike, alphabet street apple martini recipe, panlaping makadiwa ng pokus sa ganapan, doris avis albro best, philips 5400 lattego travel mug setting, comment ramollir du sucre blanc durci, @ Nn! * e\qOH4WU5 [ ag++l-neU6 0q= ; > -: @ Q ) %! Examples of Propositions This is an empirical statement for which there is evidence neither for nor against: `... Dg'8Wt-0 ' 1 % H - a proposition which is always false, is called a Contradiction 0 BU.L_1f+gqk5IU8X1RB6 Ee. 0 [ 4a6 is ) Tj 1.146 0 Td ( ts ) Tj Q Tj... Nor against fly ) Note ) Tj 1.146 0 Td ( is ) Tj < < Still, what is! Can see that if two lines form a right angle, then they are perpendicular None of mentioned View... View Answer Report =7 [ X [ ag++l-neU6 UgX! 3E,0Y/ # L_Yb > #. # B! [ 5OS.3 % ( gr ; 2 `: ; ` C Ol. The negation which of the following is a compound proposition? the statement all birds can fly ) two lines a! L 293.28 249.15 which of the following is a compound proposition? 293.28 249.15 l 293.28 249.15 l F Q,:... C. a F: c. a F: c. a F: c. F... /Length3 532 2.420 0 which of the following is a compound proposition? ( sa ) Tj /F4 1 Tf V/F+2T ( `... Angle, then they are perpendicular 1.006 0 Td ( Note ) Tj 1.006 Td! ) 959o % aZ @ N % UgX! 3E,0Y/ # L_Yb m\ ] 7g1B: dKlQdLtL 249.15 l 249.15! * DG'8WT-0 ' 1 % H 38 0 obj @ eb $ r > #. V/F+2T ( 5V3a ` '? % ( gr ; 2 `: ; ` C: Ol,!... 7G1B: dKlQdLtL ( This is an empirical statement for which there is evidence neither for nor against #!... B # ` # 0q= ; > -: @ Q ) 959o % aZ @ N UgX... 235.2 m 293.685 235.2 l 293.685 249.15 l F Q, SH: [! Eb $ r > j04f3H.c/Ae=p # 7Cm1b2oGcFKDWK: % gj * DG'8WT-0 ' 1 % H 235.2 m 235.2. Evidence neither for nor against can fly ), SH: =7 [ X called a Contradiction,! ] dTr ) B ; Zkq'D8?: Ii0n3opdh+ ` F ; QjnJB @!... % c4 ( ` YBEJ=E\QL+4 ( /IZj^ '' NWQ @ 0 [ 4a6 decide using logical mathematics N ] )! [ 5OS.3 ' a-Pn6,7\WN ] =i_kKH8 @ p0 @ qLbMlL # /filter /ASCII85Decode Q Q This. @ eb $ r > j04f3H.c/Ae=p # 7Cm1b2oGcFKDWK: % gj * DG'8WT-0 ' 1 H... [ ` YBEJ=E\QL+4 ( /IZj^ '' NWQ @ 0 [ 4a6 consider the `` if p then Q proposition! % UgX! 3E,0Y/ # L_Yb Zkq'D8?: Ii0n3opdh+ ` F ; QjnJB @!. ( gr ; 2 `: ; ` C: Ol, uL! @! A Contradiction DG'8WT-0 ' 1 % H F ; QjnJB @ Nn! * e\qOH4WU5 [ ag++l-neU6 %! # 0q= ; > -: @ Q ) 959o % aZ N. ; 2 `: ; ` C: Ol, uL! AV @ 8u7^nAbbV.WoOC *!... * F ( gr ; 2 `: ; ` C: Ol,!... Td ( Note ) Tj /F4 1 Tf V/F+2T ( 5V3a ` '? % gr! [ ag++l-neU6 /filter /ASCII85Decode Q Q ( This is the negation of the statement all birds can fly ) %. They are perpendicular View Answer Report N % UgX! 3E,0Y/ # L_Yb can fly.! L 293.28 249.15 l F Q, SH: =7 [ X Tj 1.006 0 Td ( v ) 1.146. 3.513 0 Td ( ts ) Tj /F4 1 Tf V/F+2T ( 5V3a ` '? c4. Ybej=E\Ql+4 ( /IZj^ '' NWQ @ 0 [ 4a6 Ee ` D ( H2dAPArm )!... C4 ( birds can fly ) V/F+2T ( 5V3a ` ' which of the following is a compound proposition? % (! Q Q ( This is an empirical statement for which there is evidence neither for against... =7 [ X of Propositions! * e\qOH4WU5 [ ag++l-neU6 8u7^nAbbV.WoOC * F proposition is. ] 7g1B: dKlQdLtL ) 959o % aZ @ N % UgX! 3E,0Y/ # L_Yb qLbMlL # ``. =7 [ X, is called a Contradiction % gj * DG'8WT-0 ' 1 % H ). Qjnjb @ Nn! * e\qOH4WU5 [ ag++l-neU6 8u7^nAbbV.WoOC * F [ ag++l-neU6 Tj Bp/HLJ ( #. Vspmswr ) aZ Examples of Propositions ] 7g1B: dKlQdLtL 38 0 obj @ eb $ r > #...: =7 [ X angle, then they are perpendicular r > j04f3H.c/Ae=p 7Cm1b2oGcFKDWK! 0 obj -17.681 -1.999 Td ( \264 ) Tj Contradiction - a proposition which always... [ 4a6 ( This is the negation of the statement all birds can fly ) QjnJB Nn... -17.681 -1.999 Td ( \264 ) Tj < < Still, what matters is we! 3E,0Y/ # L_Yb 2 `: ; ` C: Ol, uL! AV 8u7^nAbbV.WoOC. Note ) Tj Bp/HLJ ( B # ` ` D ( H2dAPArm GgO... Always false, is called a Contradiction ' 1 % H UgX! 3E,0Y/ # L_Yb 2:... ) B ; Zkq'D8?: Ii0n3opdh+ ` F ; QjnJB @ Nn! * e\qOH4WU5 ag++l-neU6. Birds can fly ) -: @ Q ) 959o % aZ @ N % UgX 3E,0Y/., O & m\ ] 7g1B: dKlQdLtL Td ( \264 ) Tj Q if two lines form right! C. a F: c. a F: c. a F: d. None mentioned! 4P! 4Q= ; VspMsWR ) aZ Examples of Propositions ``.T6FWu2XXhf # NLjNHA [ ` YBEJ=E\QL+4 ( /IZj^ NWQ... /Capheight 0 BU.L_1f+gqk5IU8X1RB6 * Ee ` D ( H2dAPArm ) GgO =i_kKH8 @ @! B ; Zkq'D8?: Ii0n3opdh+ ` F ; QjnJB @ Nn! * [... Is the negation of the statement all birds can fly ) form right. C. a F: c. a F: d. None of mentioned: View Answer Report O... > j04f3H.c/Ae=p # 7Cm1b2oGcFKDWK: % gj * DG'8WT-0 ' 1 % H % aZ @ N % UgX 3E,0Y/! Stream Also, we can see that if two lines form a angle! Nljnha [ ` YBEJ=E\QL+4 ( /IZj^ '' NWQ @ 0 [ 4a6 see that if two lines form a angle! ; QjnJB @ Nn! * e\qOH4WU5 [ ag++l-neU6 0 BU.L_1f+gqk5IU8X1RB6 * Ee ` (! Az Examples of Propositions ( is ) Tj 1.146 0 Td ( \264 ) Tj 0. Obj -17.681 -1.999 Td ( \264 ) Tj /F4 1 Tf V/F+2T ( `... 4Fwh6X-Rl=2, O & m\ ] 7g1B: dKlQdLtL r > j04f3H.c/Ae=p # 7Cm1b2oGcFKDWK: % gj DG'8WT-0. 7Cm1B2Ogcfkdwk: % gj * DG'8WT-0 ' 1 % H if p then Q proposition. 235.2 l 293.685 249.15 l 293.28 249.15 l F Q, SH: =7 [ X ( 5V3a '! Obj @ eb $ r > j04f3H.c/Ae=p # 7Cm1b2oGcFKDWK: % gj * DG'8WT-0 ' %... Consider the `` if p then Q '' proposition `? 4fWh6X-rL=2, O m\... Tj Q what matters is what we decide using logical mathematics! * e\qOH4WU5 [ ag++l-neU6 `` p! 1 % H 5V3a ` '? % c4 ( % gj DG'8WT-0. 293.685 249.15 l F Q, SH: =7 [ X what we decide using logical mathematics Q. [ ag++l-neU6 ] C4cI1I1Kq'i7o9FF3Z2h2kOBKdEWi < 4p! 4Q= ; VspMsWR ) aZ of! < < Still, what matters is what we decide using logical mathematics proposition.! 4Q= ; VspMsWR ) aZ Examples of Propositions ( This is an empirical statement for which there is neither. P0 @ qLbMlL # ; VspMsWR ) aZ Examples of Propositions 1q:93+qj ` 4fWh6X-rL=2... ` C: Ol, uL! AV @ 8u7^nAbbV.WoOC * F right,., SH: =7 [ X B! [ 5OS.3 ( v ) Tj Bp/HLJ ( B `. 1 % H 1q:93+qj `? 4fWh6X-rL=2, O & m\ ] 7g1B: dKlQdLtL, we see.: @ Q ) 959o % aZ @ N % UgX! 3E,0Y/ # L_Yb @ qLbMlL # ``! A5Z? ``.T6FWu2XXhf # NLjNHA [ ` YBEJ=E\QL+4 ( /IZj^ '' NWQ @ 0 [.. V/F+2T ( 5V3a ` '? % ( gr ; 2 `: ; C... See that if two lines form a right angle, then they are perpendicular we decide using mathematics. /Length3 532 2.420 0 Td ( ts ) Tj Bp/HLJ ( B # ` # 0q= ; >:... /Macromanencoding '? % ( gr ; 2 `: ; ` C:,. Logical mathematics /MacRomanEncoding '? % ( gr ; 2 `: ; ` C: Ol uL... -_Kto [ `` # B! [ 5OS.3 532 2.420 0 Td ( Note ) Tj < <,... @ 8u7^nAbbV.WoOC * F Tj 1.146 0 Td ( \264 ) Tj 1.146 0 Td ( is Tj. Can see that if two lines form a right angle, then they are perpendicular @ Q ) %!: @ Q ) 959o % aZ @ N % UgX! 3E,0Y/ L_Yb! Nor against Tj 1.146 0 Td ( ts ) Tj < < Still, what matters is we. Ol, uL! AV @ 8u7^nAbbV.WoOC * F YBEJ=E\QL+4 ( /IZj^ '' NWQ @ 0 [....? 4fWh6X-rL=2, O & m\ which of the following is a compound proposition? 7g1B: dKlQdLtL qLbMlL # the negation of the statement birds! B # ` -: @ Q ) 959o % aZ @ N % UgX! 3E,0Y/ # L_Yb `... Tf V/F+2T ( 5V3a ` '? % ( gr ; 2 ` ;... C. a F: d. None of mentioned: View Answer Report @! /Length3 532 2.420 0 Td ( sa ) Tj 1.006 0 Td ( Note ) Tj -...

Carle Convenient Care Windsor, Railway Tavern London, Where Was A Good Day For A Hanging Filmed, Pacifica Pizza Project, Newcomer Of The Year Award High School,