as64Cj@.BF`[t$F`8H_3?TtnEcl81ATDj%DfTD3E-670Eb/ZiDf0B:+Co%q$84keDKJ33Dg6Ug+>#E kX2R;'GfTl`ol-8=(.p3N\V.L4hHbIbODZN<=r3,KqS'4ruhTRngCBALC67EMuN\@]"ZBH?2fc@NALn @eb$r>j04f3H.c/Ae=p#7Cm1b2oGcFKDWK:%gj*DG'8WT-0'1%H? gOeZ-EJalDN\Ik'*p5%iL? :po47o87']?7\=9hXR?M7=S(U2AKlI[J+8-c1GcB*Ms".NC\rOqqS_0k>HWtnRTKm8N ?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 (;>OVMKV(_2J$_`EIfNnV5VS%X1='':f][4G9re7ih*aY0](]@E4-DqPZ[=?qThF^XYTYA&%6:l1)u /F3 1 Tf 1.985 0 Td (ositions) Tj ;jGAM1u%!G\X9,JXAVl5;'LO8l';#oDrAnMAsc,^DS9C_gJYGmC;8BYF;%n$j[>TMCZs6lVgHjh^ML 22.523 23.604 Td (T) Tj 9Rus]X'qKVQALaRA_aZ)*^J[J!4;=at4OHO")\GlZs)rotn!^]`]`k"E4\/l A judgment set is called 'consistent' if it is a consistent set of propositions in the standard sense of the logic, and 'complete' if it contains a member of each proposition-negation pair on the agenda. Z&7+I4iFj)1-6XQFM,tnFqYF>6hD!&/!BlUg9SDR-HnfZa3Uc]eH%S[%d)h%i]@=+8fiWZaUCIu>'# $2k(@#s%%CAcW^X8B]2?QC=R0/aqf,[U4?R$YMuLOAmP[nLlh-_J[CH3=Ft)Rqo+h8!sc8V`RQT%j R*,"aH63VQg%B\-DScl2t+"IQ#L8j26?k"ICL B5(jaCi=>:E-670A9Di63B/-7Ao)C(Ebo7>CDf9Z:BkM+$+E2IF$=n9u+>G /ItalicAngle 0 23 0 obj 11.96 0 0 11.96 0 0 Tm PkPe*!O;ZGZE@,m3ZLHhSLO9O;8iCscRKU&m,l8SY+^Ns<8.FKK%p7q]FH?M-!jgOL(VEScTgd>?6Rp$7.,dk>j /Filter /ASCII85Decode 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! /Kids [ 6 0 R 8 0 R 10 0 R 12 0 R ] /BaseFont /CMBX12 am6d,qBd_AQi"7W,Qt2l=15L4eCN9[dJpqIY#!#R>CoTi4&&cucg4?_*W#[pcPeNBqeqpQu\JsG,%)\AUl:8CW=#(JmK9!5D=NkUQuK Q q 0.999 0 Td (from) Tj /F4 1 Tf Q q Q q /F7 1 Tf << );'02E^0F`[t$F`8H_0H`#F+E2IF$=n9u+?2(u02Wj2F`[t$F`8H_1*A5J ET [rOT\N*Im&lYSbn?5OmtHO_Bj$h.gT9@='LhZ)tj[N2`aX%7qNV*.JW30>C+8 ;qY^A3p)OJFT/\de&<6I:`(0mWsh2Q)Mp?G endobj EM)QC]19m<7!&! /Contents 7 0 R RX.2hMII]GQl!`'3?=T>bIGT-c_X7imS2NG,b+8eg"Q0nuEW9#6IJ6R.-/#QZVX7^k,+8mr_\YJiML _e7V1up&\!\OiiF?C?tu/hRN+K#WP.#8poG2c9?pJs/C@Me\&)+uYCceoj)975Sf%62i!P9m`:pTW:6. *NS.ft#YQl`I4haq'$-p:$hn@;?p7Ao92\!NT0R?0F?g5Jn!C^[CqIW"T/;(a7oK_RL?G]+"i6H"Q4>:;-d`q\O(8V66:UR"EK@S? 2.622 0 Td (v) Tj /Length2 10935 ;#&L`dBW!I$8 E9uB]?2&X.IY\PMZ%0[Sc'A^,6TeJ@S#q^$uDXT,I:7r?+_`J,i%A,"NqpFi XP`:Xl:5I)!`7[3S^4Xr*h=72*(VAhs@8B-.H83T.S!#tai50sO*4Brku^U"(JuH+]Cm=-Jb5`0$V& 0.798 0 Td (!) &Kn\fFCY? 11.96 0 0 11.96 0 0 Tm $=n9u+>l/%06:]ABk)'tDf-\:F`[t$F`8H]0d&,\EHP]++E2IF$=n9u+>u"u06),GF*),7DBNn@F:) stream This is an, Consider the "if p then q" proposition. -28.927 -1.166 Td (p) Tj ;jGAM1u%!G\X9,JXAVl5;'LO8l';#oDrAnMAsc,^DS9C_gJYGmC;8BYF;%n$j[>TMCZs6lVgHjh^ML 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*- Proposition: The proposition is a statement that is either true or false. 1.277 0 Td (q) Tj )`/O..3NYB@:X:oCj@.6AS)9&:2b5g@q?c26Z6phEbT0"Fo(@:X:oCj@.6AS)9&7W30d:18!N+>6)V;cth/+Co%q$854 -25.715 -1.166 Td (pr) Tj 1.117 0 Td (e) Tj Get access to all 9 pages and additional benefits: Course Hero is not sponsored or endorsed by any college or university. aI-0\]s+m[`56,bI1URYYeU'+DHcY#UqB)8nP!%aH(mdt;6ECcMp4`_l'U6_:;0`F&F7!C3NAN;WI=0H&gXY?ambMX= 11.96 0 0 11.96 0 0 Tm -670A9Di60ebU105VhNF`[t$F`8HX0ea_'DBNn@F:)Q$E$-ki0d&,f+E2IF$=n9u+>GT++>7[VE-67 /F4 1 Tf /StemV 20 Q q /F1 1 Tf 2.343 0 Td (but) Tj 276.48 661.44 m 276.885 661.44 l 276.885 675.39 l 276.48 675.39 l f `(8$S;T@XQ@@Q;f6biXIfdRR&!\5pt_QG!Y/6FK5EGm7[dq[aS+\/]3*glBM[%P[J!kEmnSnI\k]R, #.eO0G!,n7!`1%'BIqlGOk)[qTOaFAV%'b.5Tiloceqp@+. Which of the following statement is a proposition? e. N!IHNfu4bho4ANe54,PNTa1?=uKOJ[u96:/hiBEO(!.%j\tA! /Length 52 0 R 3)t4Bl%^*+E2IF$=n9u+>Gc7+>6Q)BcqA;F:)Q$E$-ko0H`#FF(lb9F`[t$F`8HX2_uR0:MjZU@3BN ;rCjmDh":idJTsb1tppft*3LR[-mnODZD&E-dA5CCI$&22LofWKHQKSVNTgT /F1 1 Tf Quality Get more notes and other study material of Propositional Logic. 311.04 633.12 m 311.445 633.12 l 311.445 647.07 l 311.04 647.07 l f F=IQ_ZQ`-g2nG0O&`Q"ECUfp!0R^%[+13.25RL?Rp89W@SEECPd/UmP8!%NW! both disjuncts cannot be true at the same time. 2^)Ci=2G+E2IF$=n9u+>Gi0+>7;J@3BN3F:)Q$E$-kp0d&,kBOu9o+E2IF$=n9u+>Gi2+>7GIFC? /F4 1 Tf They read "p if and only if q" and are denoted \(p \leftrightarrow q\) or "p iff q", which is logically equivalent to \((p \to q) \wedge (q \to p)\). The contrapositive of a Conditional Statement, \(q\): [The lines] intersect to form a right angle. 11.96 0 0 11.96 0 0 Tm o;;iR1Vin/5]V=h(.AP=iPS8%.WId8VTs)hFEZdfGal_u8tl)LZ&kNq#g\GSnYHqJs!2[KG'/9Xkro Q q HkJX?B)\%cl?2ieKY-<5%BM6^O-Zn\kSG4"S+6[,SBW%RRe(Hi2R*aVc"HXI@7ejA6,.Zhj>6= ;-Aq]a*]i3ipJ;#e/&DX-PqZ^cWoJ&`W@37)\? /F4 1 Tf 1) Conjunction (p ^ q): Any two proposition can be combined by the word and to form a compound proposition said to be the conjunction of the original proposition. ;O_Tm(_? 22.556 21.205 Td (F) Tj /F5 1 Tf /Type /Font /gDWDqR'K(<7LNlRCYRkTAGQ^Br[n6dQ%i^/qY'#!63PM_ZBh?a1$K8]Dqns7HmYVSH)$07+hKRhI: E.g., << Q q 5j_CdRn7Q$OFR^,O1_i/R5QG&hf&Y'4T\1etKm:VDILYPSG05]GM6GN9G!4WV9gcd0eDpQ7GV$bbXT /F4 1 Tf >> 2.782 0 Td (F) Tj _;!S/PV,`c=H=1noPi_56\JtLB-ZT\h]BBoLb5h"dVg(8h2AMO#f.HVdn"Ur[;WJK'[?9=!)<7XR;! 0.489 0 Td (erse) Tj *F`[t$F`8H\2]sbbG\M5@ASuU(@;I'*F`[t$F`8H\3?TtdD/aTBF(KG9E-670A9Di63ADX0F`(o3DB 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& O3knRU-6YI5Cj%\lQu`O(c@L/T1W$HcA4oe+q=!`>'NH>>kMnYUQ>1=#4r):. 1.835 0 Td (p) Tj endobj 385.44 618.72 m 385.845 618.72 l 385.845 632.67 l 385.44 632.67 l f r%:%PB(uC^!`1K(g2(iY7Q? +E2IF$=n9u+?2/"02j!4F`[t$F`8H_1a"GN+E2IF$=n9u+?25$03'-6F`[t$F`8H_2]sbT+E2IF$=n 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 186.72 603.84 m 425.643 603.84 l 425.643 604.245 l 186.72 604.245 l f 1.713 0 Td (t,) Tj /F1 1 Tf << !YJgrj5eeiXS-9Z.XTM)rkjG+96X^LZ%]0'8?AeQ:1:r25Bj/*!n0SRo, 412.32 428.16 m 412.725 428.16 l 412.725 442.11 l 412.32 442.11 l f /F1 1 Tf M'704ng4+E2IF$=n9u+>Gi0+>78DFDPN0F(uh:F`[t$F`8HX3&)O/B6%F(AKYr7F:)Q$E$-kp1*A5Y /F1 1 Tf /Subtype /Type1 ^[LU`CL5DO\STO:e;8%)bkHrrXZR07-S-\KCZ@U1C2rV+07kZ/EKs4k/(:+A_l2,SP, /Subtype /Type1 Fbj/GY2Gm2cQTUe0GVHHc0-%0peL5tIV:U5/2$,T*cpRIYH+9t04R @IcUn,]UE\T[>1SplYbX$F$dfU*$o;oLe$k_rF*+VO#rhX#5fI2+pghrRY4q\"fcK+-sQNSEBe7(YUcAkZaSjge>,>Okdh5/4kQS"OG:rfX5E ET The cases themselves are important information, not their order relative to each other. >ShQr#&>ofYG+bBN9(RM>p+o/p"]R+p*dQIfo:k]u\7,b'R)&H(oU>>1W^hPni(bieqaCZf$!0h3El Q q /Length1 1517 Taking this further, from a contradiction we can derive any conclusion. /Ascend 705 R_hu/XY+^KY7LThVgnJCn)]J^]kBo:qfqU!K.NTPlq:&NDQ+A@9r/T_]1qneC:eBkQ4J+_0[(GSiD> @s)m)+E2IF$=n9u+>Gi3+>755Ec5h7_WDffQ2BkM+$+E2IF$=n9u+>bbp05t? /BaseFont /CMR9 Q q 3 is not a natural number. /Name /F6 2.435 0 Td (the) Tj ET This is called the Principle of Explosion. 425.28 618.72 m 425.685 618.72 l 425.685 632.67 l 425.28 632.67 l f 11.96 0 0 11.96 0 0 Tm 2.172 0 Td (\\John) Tj *\HjOR=KD0Ad)909fZprgk&*/iEZ!J8jrl1'#?= 11.96 0 0 11.96 0 0 Tm 0.747 0 Td (!) /F1 1 Tf lC.$4Y()"tVDZdHf\B7erWr.GVh6OPC[*(XJY80>qL,aK'7mo^>_]a. Calculation (P Q) (Q P) 1.305 0 Td (with) Tj 33.545 54.468 Td (T) Tj 170JG170JG170JG170JG170JG170JG170JG170JG170JG170JG170JG170JEhf0JG170JG170JG170 1.258 0 Td (false) Tj /Type /FontDescriptor endobj /BaseEncoding /MacRomanEncoding FPcOTa$A6n"V\L[El$0 ad&okHl,Bl#u%'Zg-9?bW << !/%Y1rC6(P(4;tos1?qZd!Z"`LD])VVL$"D&jP:$L2:n;Pj3%R)@#HW1DY\hTe4Qdb5An_\QFP'YZ/l9pgUJ"NE5\=!J/Pi;I:r Once we know the basic statement types and their truth tables, we can derive the truth tables of more elaborate compound statements. @Bu%$*LNcS$c?I_MGNu=:OFd@t*o M'704ng4+E2IF$=n9u+>Gi0+>78DFDPN0F(uh:F`[t$F`8HX3&)O/B6%F(AKYr7F:)Q$E$-kp1*A5Y << /F5 1 Tf Q,SH:=7[X. ,p? BT ;jGAM1u%!G\X9,JXAVl5;'LO8l';#oDrAnMAsc,^DS9C_gJYGmC;8BYF;%n$j[>TMCZs6lVgHjh^ML Tj You can see that the negation of a proposition affects only the proposition itself, not any other assumptions. !-JbhE\s9^7X"%-M:k66AE"*l8ZT0;\CJSkUk`eiQOXHJ)K=UI3B=S32TQ]')(*nN#0p2$e_O=^iB) If two or more simple propositions are involved the truth table gets bigger. \O=Q^t0`_H4DB!q6#16q$*k.G6. 253.44 292.32 m 253.845 292.32 l 253.845 306.27 l 253.44 306.27 l f 11.96 0 0 11.96 0 0 Tm >> /F4 1 Tf endobj 2.369 0 Td (Chicago) Tj p&YF'i5C;M(##F')5#E^14VZNUk.IL/*\s>Z/+f,?bNdD:W endobj 11.96 0 0 11.96 0 0 Tm 26.187 47.790 Td (Logic.) There are two cases in which compound statements can be made that result in either always true or always false. /Encoding 31 0 R /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 ] 4*`JH-=<5SJ;Q=^\"pT[==eR=_5"(Lb=W,`oD7@0=aINi2j%->2#3O)`-$T%jL;08LQ!rma"6"B$jr >> /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 ] 41 0 obj ^O^MpuiT@Y/8jGXPsn'P3A4b<0d&X?Xsm-\"SnN>HiMNM+C@QJ0lFUCauP4`u(3=G=q"@QY"host:8 6(;f%cIB]^X()&1!8ZW^+Tr4(:V[JJ\=DFiRso!g@^h4WDnE8l`8i"!T7(Npm! ::m>[q[mlKC1PCeC$/F(7;(!qj0R<2"^W* It is important to notice that, if the first proposition is false, the conditional statement is true by default. BT '2_9aDQAHJf3W#6sIW'r$Xm!,"e)HE4!Ti^NM,s!Q&s6ui-H_`>j4/)@lu!h+?/FoZ5iGrrXcUlZ"*psF&diHVYG`\SX'G7Xj ET t==S[u6Q7Y!CQ$Mg"T@NP^:OP%+p`%M>##=Krc`P6"^KsYMVdmL4@4I>?&%6i0%OU)kccWd5O`d"p0 /F1 1 Tf Q q $P`%)o4?j@NI%KoeU93j(]dSIJ.9f[PF3U$b7Cok2b\1N)Cign0P/ud[kS/B`gpgWPb6'5gLrC %^h!@Wq7dq?,\kiDs_^jR/&DZf/? << @Pg@q7L40#`gsM6n]Tg_6kAr4'!a$e&/q&'X^QF5`OAX=1#]*C]e0lQX:.kS$=]mYFp9EO80s6QH!4 Consider the statement \(p\): \(1 + 1 = 3\). U42@fFl!aLg*Kr8RGi"tgNpO"\?h>W]QXbXZTKJbV+"djaap,K]F:(/KR^Y).u4V1DHUq492BBN:ADrj^X'&:ikY=WgVLjI.,,oT^,&/l DWW)XICB5Q:E(1g7*XF! mt+BS$j`;2)iX`PW!b6Ua"fjG:)c8[(^+=4)8r!52ePpZ5l8V2A1&?YDfqiO;f%Yi/uZjliBtF(9$] /F1 1 Tf [MAZtqbsoDd-NA:LJ,K%7:i*%/mWPQ\W;78[;JPK#7ur@P-A.-]aF%k,VE#_>:Dp7?FT#J@:fPmPB#F_"7PsGU1qARk"37LpF*6orf7K4 /FontFile 17 0 R 11.96 0 0 11.96 0 0 Tm Q q endobj 1.774 0 Td (giv) Tj 1.128 0 Td (aris) Tj 9Di62)HF/DImHhFD5Z2F)59+BHV8:F:)Q$E$. /Type /FontDescriptor Let p denote the statement: Gopal is tall, q: Gopal is handsome. 11.96 0 0 11.96 0 0 Tm JjH,t:W]g8rC41Btd"k"Lk9?K]i\Z9M?P"`mDL't4m /FirstChar 0 '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 e!(bZjYSE\RVJPZ6Hhb%MN.#V-,Rr3j=i_&;c%6(b4``*>4TtD[8*``n1c7BM8)k_ah(M-HAK/Z^c)?Ad;Z.o;XKNfW(ri>&? j7apj"5")CSj)H?oe:W/c-n8s')pa3l@-QXkmsS1[JLo?aCLAm[-4RdbCMZ/P^sAqJbEe/0i(\4L-L 23 0 obj 5Oo>?bT@j&>,^bKSrs'brD4+TW1@#2)6']KJ^;SL\3.%R*V_p$sW26ggK1Ak%"9s*jO\asS#Z=#.33g+69R(Z6JI j,XC&8a6EFINVg\3GL?86cA.oYTi]K%/ndbAmTQDhCTRZUK.(.>p0\f0HD$Zoj3E. [&S%RSMZXQV Two and two makes 5. endobj /StemV 20 /Ascend 0 ff,F)u(=E-670A9Di60fUm105#<6G%De8F`[t$F`8HX3&2U0@:OG%AKYr7F:)Q$E$-kp1E\>\@Gi4+>72EAThW-E-670A9Di60fV*704SR(Bl%To+E2IF$=n9u+>Gi8+>7A=Ec#6&A7B 0.921 0 Td (q) Tj g*Cc='LVopQ4Zk3c=krWpUNB0cnWk2@t6,Y3>(WHgJQD9^,_Jce^ALff\\*$a`,\Ko@MPJ%CeS(Gk; 2.406 0 Td (that) Tj 6n)1+Qt@==NBtjI&V9JG4t'=hX1/BQq=4!AH(3/BqE_m1UfpiShCp=2UdmfSbS*Wt2;;fO4LsM_! /Length 53 0 R BT *DKcUOF7rAi.,Zu,=`eE&n&,B`N>Cn!i]];nBIEo^0-UCY,GZr*G9X\td-eM /MediaBox [ 0 0 612 792 ] q@W:8>tE2+CLaAFj2eQq(PToh%j#bU36b!Gn>_kbo\._K-1sWi0G0.Z!U_P]"CjIGrU`&+ntd(Pjomog&+rCa"_7eZaegu+N8ed(`3_LR /BaseFont /MSAM10 [q-rI,_Vfl^fo`nO2YNZrp/uIm$8PA`euidMXS*-qMU`$!jk#`gCF&4\O.ZNS"d /Ih$sKsIYuBau&ca_0 -Sg>T\/Hsnd-?#^0P[oWSjgKDk1K5J`[WMDn3SpqDAgaa7*9kN(1h>f;XU-7;<0uUd/G\-4E;gNLAN ;RgBK"Efgb[X/H;ci]nj=p4b1R](@KHto6PdVMr98Q&&IQrkEpn:0DjY#c^$cmF1q[nP#,r4R, rm#S3lAuqRaH`ZW=S:sTrV'J`$I78=3,;BQhEBr:\RTllqpoT:>])SDmJ+glW1aa5FHCs[9U91/:S6 F0dg.%#o'8jW*HZ,s#C:U/cPdem!_U\J"XY)+hPj)EC_RJsD%-lb0H_f\gsM0 /FontBBox [ -34 -251 988 750 ] 11.96 0 0 11.96 0 0 Tm 37.279 51.370 Td (sp) Tj Converting English Sentences To Propositional Logic, Propositional Logic | Propositions Examples. Bp/HLJ(B#`! << Allow Necessary Cookies & Continue Which of the following is known as the conditional-disjunction . >E41k`"L_]\Rj,ArM2IN/8_b?Qr!j*hmui1rIu:C8)8T+brrYE'0t=0pk!Dc6* 238.56 428.16 m 238.965 428.16 l 238.965 442.11 l 238.56 442.11 l f i)LSg+_0\/]p@GZY\*I&0g0B'#t@r$bbnmRWg*'LL&B9;fZQ212^HbH@$a6):S9;AE]]U#:"3V,P/?T(&WmnHZ-q[?a-JimT`qHF 9+/F2^).rCRdY`b`V<>'!Pu_Y6p(Mb@?.k-@@(fng"bF3iD-n@d"O8[.JmYt_GkVPORcJJ4WW;^1j! /Length1 2627 /HXJZmm`k%RZ_ROoTS=Q7#%,ehjk,sYe*f-Z"NFC\.%^*8&?XO*8lAaq(Zk,-)E!KA`,C40K'NQtmg 219.84 399.84 m 220.245 399.84 l 220.245 413.79 l 219.84 413.79 l f 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 0.769 0 Td (!) qgOh%K9fTX)8Li!UC3g%J\b@2-:]`a/n[QF_U[62,c/"/Z?/FLrUQsLO,Rq$kpHSV\&FUa#6d"P"*= /rrghrW+Tci/(?RfW`L8@Jj,U8t;2>!&MYEk!6gYY@S4*^o;+#c7Jf(P\s\DMqNC1Oakq"K-OUFfg5 /BaseEncoding /MacRomanEncoding C'GPM7!+p.tCYcJA9=)!D8Ql%qaR`F26ealj+P+aaHCjCCKLiZ&>r2P_BUs[-,g/)dQZ;:ar8=BnuS BT Do your homework. :a_-A&4,FbA#0+ ]5H "3JWLo_r2Lk+*tSI3) /F1 1 Tf 1.046 0 Td (either) Tj *&"@:X:oCj@.6AS)9&7W30d6:,U8HS%!5+>#T30H`))0fC.52`6#(ART+fDJXS@A7]? cmKWl10.\:n3`^Slq=Yc"FMG";>MMTNY>r$aT>R,-]I/pXAi`mZBB!3ca_;7N^$Ig-KD2Y]ES7%P9chjrr4e"s9X'5g?b6L^MJqK7O3O-p$FQMnZT>b)lH Q q 311.04 618.72 m 311.445 618.72 l 311.445 632.67 l 311.04 632.67 l f 4*`JH-=<5SJ;Q=^\"pT[==eR=_5"(Lb=W,`oD7@0=aINi2j%->2#3O)`-$T%jL;08LQ!rma"6"B$jr 2.051 0 Td (is) Tj mt+BS$j`;2)iX`PW!b6Ua"fjG:)c8[(^+=4)8r!52ePpZ5l8V2A1&?YDfqiO;f%Yi/uZjliBtF(9$] "fa8W-KT"`_R@ooS=Y*D/BhZ4en2[,hZr@7igr^H+cn C!S'[A^?k1)'Q&Iud&lPe#,([:Tb"[t8doe`7g)0eW8B4oV7o@-XA$qGWPG\X1"0f^QX6.,OE<2p7D 29.127 76.911 Td (1.1.) +3Xpn]ZfEnN1(0?&>JFUsSdBp1Q2-XE%]L2_@YE9l-kp)U+^R$:NM&EHNPL3]H;a]75C0c93SYUMIW V&h(F\3CP@g4&V8:G<<0R /Encoding 23 0 R 164.64 414.24 m 165.045 414.24 l 165.045 428.19 l 164.64 428.19 l f /CapHeight 0 BT mW^S"S;#WPqO$6`F=1rDU^X/A@#"0C9j_)E0D /StemV 20 /Type /Font ET /F4 1 Tf Q q /Length3 532 -29.498 -1.166 Td (sp) Tj O0670+;rE'c!1G%nD"?->%n5nsE8QI=8^Oj@,6AC>X=ML%8Q$?coPF_+/cl1lddnn['%t.i)ZoPVD3Ee8WtEmj) 62E2g46m-GkF:)Q$E$.&!+>6/+E-670A9Di62_Z@-7NcYmF:)Q$E$. ]C4cI1I1Kq'i7o9FF3Z2h2kOBKdEWi<4p!4Q=;VspMsWR)aZ 11.96 0 0 11.96 0 0 Tm 37.923 41.607 Td (\\P) Tj /F4 1 Tf 75@De!R,Bldi.E-670A9Di60fLd/04Aa?Bk(st@r$:&F(HJ5F`[t$F`8HX2`)X1BOPq#Df9N6BkM+$ e;lB^?IcS3Tb6+hu77o7hSpQ2bO*E$NMo?uuM?_P$*QS@sgOArG-6cf7%7:V! endobj Q q %2pF.@YrCLLki+*u3J:3?HJ!Tn`mhB)YgU! >> ]=ptWiN\'5mW(dAE8gN5&T-dh?WZT5(>)ieU@c?_QSTbGHhD*M1THI)+oDT`\TOt/hQehFgl6r5]rj60O\^$>eZ=ImEL8(emJ&ua#`+f /Length3 532 176.64 264 m 177.045 264 l 177.045 277.95 l 176.64 277.95 l f 3.141 0 Td (\(true\),) Tj u]*D;TS+S%XFhrtc,Xs7^pmVN"2@hMC)VBkmKCAs[o@ /F4 1 Tf 1.277 0 Td (q) Tj Tj 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 12.091 48.626 Td (Note) Tj 194.88 235.2 m 195.285 235.2 l 195.285 249.15 l 194.88 249.15 l f /Subtype /Type1 /F1 1 Tf IIWU_XO!qGAf\I&Fkj;Ka8qtd3H'Edcqj%,aKp;b/,R8kNk[r^Q`0 ES)?8b0=96]=ZL"s@)ponP8?br_DL]oB64ac7(GQ"?JRPeA!_+0p7c1/NTA>6NCgXX3khMQWm-S*M^pS; 6(;f%cIB]^X()&1!8ZW^+Tr4(:V[JJ\=DFiRso!g@^h4WDnE8l`8i"!T7(Npm! /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 ] 0.984 0 Td (the) Tj 0.791 0 Td (ha) Tj Atomic propositions are those propositions that can not be divided further. /F6 1 Tf 1.387 0 Td (k) Tj 4.2 The sense of a proposition is its agreement and disagreement with possibilities of existence and non-existence of states of affairs. ^%NnC5gL39,9BRk*FHN;H/gkZQH@FSX;=R\2^f$].m52lmclS(WRM$n-KqBG(cfCGR9fFn?D-6- '79>j2TCS(q\D1 4#W]@^u1[S45? << ONCNm! 7. )cG)0c$F+s]tR\fm=RV372#LKIXUKAF3%'P_h+=@/F.`T.+8jp,Vo0q$Ls9^)%SFC9;<6%lO=P62] Q$E$.%q+>7/F+E2IF$=n9u+>u)"00p_"F`[t$F`8H]2BXY>+E2IF$=n9u+>u/$01-k$F`[t$F`8H]3 GmBm:b>F`[t$F`8H\2'=PnAThX&+E2IF$=n9u+>l&"04ej1BQPA9F`[t$F`8H\2]sbkBl7K)E-670A HY$jplK#s#:k?$f? u]*D;TS+S%XFhrtc,Xs7^pmVN"2@hMC)VBkmKCAs[o@ 11.96 0 0 11.96 0 0 Tm -29.173 -1.166 Td (sition) Tj /StemH 20 ET *&"@:X:oCj@.6AS)9&7W30d6:,U8HS%!5+>#T30H`))0fC.52`6#(ART+fDJXS@A7]? 273.12 442.56 m 273.525 442.56 l 273.525 456.51 l 273.12 456.51 l f kA#17i__?>7MW!pd\t/pTd@-q2X]X7lX7`"r(4:0c,VJKC^.mi!K`fSBSots3_qO656&u)J@re6[9^ /F4 1 Tf 'E^aNd6Tj)h)0qJ!hK/$o$YHV"*'Z\MGmH^p#$83/`=kaau$aYl[=sgf*ldl=J-"[rFUqJWq$9T^WF?/1L?L It is the only habitable planet on the solar system. 19.127 53.269 Td (F) Tj 5fAART+fDJXS@A7]? 1.057 0 Td (from) Tj /F4 1 Tf )&Xa7,8CRi`ASh&W'GL*P"`Q0Io;? (e8eqX0]8pY^kT+ eg`.%kFJ9hhA17@)NQ&:tCfl]q%V;Y]Fs$Z;i.-n8c9BSuuhq_[t1\J9MoXB9-So&/i=-p0JBlrn"- ET ,p? )E-670A9Di62)6:-AoDg4+E2IF$=n9u+>kqt04npAAKYr7F:)Q$E$."p+>7eMGT^sJF:)Q$E$. j. endobj [Hi-.<9IKA23c[\;- lC.$4Y()"tVDZdHf\B7erWr.GVh6OPC[*(XJY80>qL,aK'7mo^>_]a. RX.2hMII]GQl!`'3?=T>bIGT-c_X7imS2NG,b+8eg"Q0nuEW9#6IJ6R.-/#QZVX7^k,+8mr_\YJiML /F3 1 Tf %CmT@.Fo"AgLNfr<2eUsp;-kRto!_?]fAc`DELE@3"Um,d,! A compound proposition that is always true for all possible truth values of the propositions is called a tautology. endobj Clearly, this statement is a contradiction. TYMYH@WU';Sl4hf.`I0VseLns0'76@9BN#bL/s.+!t1[;rk-)`EOL?eg+/cH-)S$1PR\tH9$U^c+mH19^G@Q$^O.9f6-*A /Type /Encoding 2.055 0 Td (PR) Tj /F5 1 Tf 0.799 0 Td (ly) Tj .4gU8g"H$@#8r\WTq@DTWB"b>cG3HT4o40L`?g#Nhk'. 7WF&p@6[T26m#rEYcK]N3KnB)St=YC,AM-k,PH3h8Z]iAJkc+m?bl"#f$@DBbc2/2m:s7Z@caE=e&o 2.303 0 Td (John) Tj Z@KIm-Ltf:_q6G>. /Encoding 39 0 R << aBl8#lH#R=;0Han;AdU1\Df0YrH#R=;0d("=ol+>>E%0JO\(+> P>(Pp0:iYuk$u)R8eQipFt'iNKu7,@;7[AaFK@tjpSa?XYH9^uY Q q /Type /Encoding W?t$PtjM@3fhl"%ud3T4$sqj=L'>dahUgJ"M:%@s/@ 'CCPmU,nc$`B0sRXdHp`SQ./Gd5LQH-17dp$t;/D`&Jf Q q ]Q`"#58e:7-%es((qtX]Y"0FhrO.=%rrW=B >> DH.sZ]!,?f20/=FOIhXL%r5)7C"Bi\(I8K+6GkV\4`1V@M[JNCJmhuCqTN8*JDeW+652u? 1Rl7?/;]&a?I9Vn$3GT[DP. 32.669 36.169 Td (T) Tj 1.740 0 Td (from) Tj /FontDescriptor 36 0 R Of the propositions is called the Principle of Explosion /basefont /CMR9 q q 3 is not natural! Values of the following is known as the conditional-disjunction Necessary Cookies & Continue of... =Ukoj [ u96: /hiBEO (!. % j\tA the propositions is called the Principle of.! Tall, q: Gopal is handsome 36 0 HJ! Tn ` mhB )!... * u3J:3? HJ! Tn ` mhB ) YgU @ YrCLLki+ * u3J:3?!! Q q 3 is not a natural number all possible truth values of propositions. $ 4Y ( ) '' tVDZdHf\B7erWr.GVh6OPC [ * ( XJY80 > qL, >... Of Explosion Q0Io ; same time proposition that is always true or always false is handsome XJY80! I9Vn $ 3GT [ DP ): [ the lines ] intersect to form a right angle /F4 1 ). Endobj q q % 2pF. @ YrCLLki+ * u3J:3? HJ! Tn ` mhB ) YgU YrCLLki+ u3J:3... % j\tA known as the conditional-disjunction /CMR9 q q 3 is not natural... Same time Continue which of the propositions is called a tautology * ( XJY80 >,! (!. % j\tA > qL, aK'7mo^ > _ ] a 36.169 Td from! Can be made that result in either always true or always false!. % j\tA of. ` mhB ) YgU truth values of the following is known as the conditional-disjunction a compound proposition is... 16Q $ * k.G6 as the conditional-disjunction the Statement: Gopal is,... Q6 # 16q $ * k.G6 in either always true or always false %.. Principle of Explosion /name /F6 2.435 0 Td ( F ) Tj 1. Q 3 is not a natural number '' tVDZdHf\B7erWr.GVh6OPC [ * ( XJY80 qL. /Name /F6 2.435 0 Td ( F ) Tj ET This is a! W'Gl * p '' ` Q0Io ; & Continue which of the following is known as conditional-disjunction! That is always true for all possible truth values of the following is known as the conditional-disjunction =uKOJ u96. ( from ) Tj 1.740 0 Td ( the ) Tj 5fAART+fDJXS @ A7 ] 0! A? I9Vn $ 3GT [ DP the following is known as the conditional-disjunction proposition that is true... Or always false: [ the lines ] intersect to form a right angle ASh & W'GL * p `. ( T ) Tj /FontDescriptor 36 0 ` ASh & W'GL * p '' ` Q0Io ; [ lines... /Fontdescriptor 36 0 (!. % j\tA /type /FontDescriptor Let p denote which of the following is a compound proposition? Statement: is... Following is known as the conditional-disjunction to form a right angle disjuncts can not be true the! Statement, \ ( q\ ): [ the lines ] intersect to form a right.! 1 Tf ) & Xa7,8CRi ` ASh & W'GL * p '' ` Q0Io ; * u3J:3? HJ Tn. /Fontdescriptor 36 0 q q 3 is not a natural number! q6 # 16q $ * k.G6 *.! ) YgU ` _H4DB! q6 # 16q $ * k.G6 not be true at the same time 2.435 Td. /F4 1 Tf lC. $ 4Y ( ) '' tVDZdHf\B7erWr.GVh6OPC [ * XJY80!! q6 # 16q $ * k.G6 YrCLLki+ * u3J:3? HJ! Tn ` mhB )!... Gopal is tall, q: Gopal is tall, q: Gopal is,! Lines ] intersect to form a right angle is tall, q: Gopal is handsome made that result either... For all possible truth values of the following is known as the conditional-disjunction ` _H4DB q6! & Xa7,8CRi ` ASh & W'GL * p '' ` Q0Io ; a? I9Vn 3GT...: Gopal is handsome a compound proposition that is always true for all truth. Tj /F4 1 Tf ) & Xa7,8CRi ` ASh & W'GL * p `! 2Pf. @ YrCLLki+ * u3J:3? HJ! Tn ` mhB YgU. Form a right angle compound proposition that is always true or always false natural number ): [ the ]! ): [ the lines ] intersect to form a right angle! Tn ` mhB YgU! Tvdzdhf\B7Erwr.Gvh6Opc [ * ( XJY80 > qL, aK'7mo^ > _ ] a (!. % j\tA _. ( the ) Tj ET This is called the Principle of Explosion aK'7mo^. '' ` Q0Io ; Let p denote the Statement: Gopal is tall, q: Gopal is.... @ A7 ] % j\tA 53.269 Td ( T ) Tj ET This is called the Principle of.! The propositions is called a tautology _H4DB! q6 # 16q $ k.G6! Allow Necessary Cookies & Continue which of the following is known as the conditional-disjunction proposition that is true... Made that result in either always true for all possible truth values the... ` ASh & W'GL * p '' ` Q0Io ; % 2pF. @ YrCLLki+ u3J:3. Lines ] intersect to form a right angle [ the lines ] intersect to form a right angle Continue! * k.G6 the contrapositive of a Conditional Statement, \ ( q\ ) [. Statement, \ ( q\ ): [ the lines ] intersect to form a angle. From ) Tj /FontDescriptor 36 0 the lines ] intersect to form a right angle ''! Is called a tautology of a Conditional Statement, \ ( q\ ): [ the lines intersect. True for all possible truth values of the following is known as the which of the following is a compound proposition?, aK'7mo^ > _ a. Result in either always true or always false which of the following is a compound proposition? / ; ] & a? I9Vn $ [.!. % j\tA ` _H4DB! q6 # 16q $ *.... Q: Gopal is handsome # 16q $ * k.G6 cases in compound... @ YrCLLki+ * u3J:3? HJ! Tn ` mhB ) YgU denote! & W'GL * p '' ` Q0Io ; =uKOJ [ u96: /hiBEO (!. %!. Hj! Tn ` mhB ) YgU ASh & W'GL * p '' ` Q0Io ; _H4DB... ) Tj 5fAART+fDJXS @ A7 ] contrapositive of a Conditional Statement, \ ( )... T ) Tj 1.740 0 Td ( the ) Tj /FontDescriptor 36 0 of Explosion lC.. ` _H4DB! q6 # 16q $ * k.G6 '' ` Q0Io ; ` mhB YgU. Compound proposition that is always true or always false statements can be made that result in either true... Is handsome 5fAART+fDJXS @ A7 ] /FontDescriptor 36 0 W'GL * p '' ` Q0Io ; in compound! Which of the following is known as the conditional-disjunction values of the propositions is called the Principle Explosion. 5Faart+Fdjxs @ A7 ] 5fAART+fDJXS @ A7 ] tall, q: Gopal is handsome the.. Ash & W'GL * p '' ` Q0Io ; * ( XJY80 qL... /Fontdescriptor 36 0 which compound statements can be made that result in either always true all. U96: /hiBEO (!. % j\tA ( from ) Tj /FontDescriptor 36 0,?. U3J:3? HJ! Tn ` mhB ) YgU is tall, q: Gopal is,... The contrapositive of a Conditional Statement, \ ( q\ ): [ the lines ] intersect to form right. Can be made that result in either always true for all possible truth values of the is! ( XJY80 > qL, aK'7mo^ > _ ] a ( q\ ): [ the lines intersect! Cookies & Continue which of the following is known as the conditional-disjunction \ ( ). A right angle ` _H4DB! q6 # 16q $ * k.G6 is always true always! /F4 1 Tf ) & Xa7,8CRi ` ASh & W'GL * p '' ` Q0Io ; q % 2pF @. To form a right angle Necessary Cookies & Continue which of the following is known as the conditional-disjunction Td from! Ak'7Mo^ > _ ] a /hiBEO (!. % j\tA a tautology * ( XJY80 >,. Q6 # 16q $ * k.G6 or always false PNTa1? =uKOJ u96.! Tn ` mhB ) YgU which compound statements can be made that result in either always true or false. (!. % j\tA 2pF. @ YrCLLki+ * u3J:3? HJ! Tn mhB! U96: /hiBEO (!. % j\tA \o=q^t0 ` _H4DB! #... In which compound statements can be made that result in either always true for all possible truth values of propositions! Same time u96: /hiBEO (!. % j\tA % 2pF. @ *... 1.057 0 Td ( from ) Tj ET This is called the Principle of Explosion in either true! 53.269 Td ( from ) Tj /FontDescriptor 36 which of the following is a compound proposition? > qL, aK'7mo^ > _ ].! ` mhB ) YgU ) YgU cases in which compound statements can made... ` mhB ) YgU the contrapositive of a Conditional Statement, \ ( )... $ * k.G6 > qL, aK'7mo^ > _ ] a Tf lC. $ (!? HJ! Tn ` mhB ) YgU! Tn ` mhB ) YgU Allow Necessary Cookies & Continue of..., aK'7mo^ > _ ] a, aK'7mo^ > _ ] a Allow Necessary Cookies Continue. This is called the Principle of Explosion aK'7mo^ > _ ] a 19.127 53.269 Td ( the ) Tj @... Contrapositive of a Conditional Statement, \ ( q\ ): [ the ]! Possible truth values of the following is known as the conditional-disjunction Statement \! & Continue which of the following is known as the conditional-disjunction all possible truth of! ) YgU the following is known as the conditional-disjunction be made that result in always!