Unit> 1 1) Frob osikion 2) Proposi fakionah ec, 3) Connechveg >A proposition as a ducleanatine seatenu ihe ane O& sentene Hoo declears a Sack thee means true of , Sal bed not both Sor warnplr $%) 14122 7 deus propesihien D3%*2=5> help Proposition Nun dati od cobtap ; ie ‘Noa io "hel Gf India.» Seen picboscagy, ofS Proposi tie, TBebeHonD tonic s sp, ae bro i Angie. lich look Position cis celled proposition Le: Pre) wh one ct tin ie ONL 82 Moxe jprbosition * SSP Gd proposition thon pe ay Peeve) ve Ue Sietemont “St ds not the case Hoek PH oa Podloy i Friday T[>E Joes St do mot Whe case, Hoek: today in Seda. % te Soday a raining Fe By de mak the cose Wort Joday ig Haining:F Seutln table Su P- pine any T F Tamer # tis 8 paar tow teat Vu Used) te Soom a7 » Piehosirien From two oF mone Gristing proposcdion ote CAA Gnnectusr: Connechucad Conpeection dia Junction Conditimal Shimont > BilonditiongD skeet mort Lonyunetion3= let P and Y with +0 probositen the Conjunction H Pand V us dented 23 CRAG) “ P and y?. 4f Arak Sable = Le lvl ray T T ale T, s[ehiey iF F ae ff F ae e37-1 rh 5 F Pryidrd and “123. F thesOt Dis un ction = all Lek Pand Yy be boo bropasikion te ols i " 1 denttion o p ant Y ur donotrcl by (Pvq) a the proposition hea) “FE Sra table > Cel: Att OR = Lt Pang ue $Y- be. Hus-/p awe z a CXehsiure, ep Su P and Y os Hue Ftrudh eble OO f = iv *ondibional stebemmnb WR and a be preposition the conditional shetummk Re Gamoted, by (f>ay/p qj) vin Proposition gg p Yong? Crd owl stabmyit is false when Pia true and us Foleo | qAne T F T2 ES am eteced Yi 3 wie tore tenes Poa 4s Gi am wloctecd ton 4 wl Lowe Janus: # Regn oJ Writ ag condi i Bee Yeon 4). fetucsat 5 2)'55: 5 y- ‘ DP wd supiciect Sou oy. | 4) ap wren ’- Da MMSay Condition fe. Pais gy: Pp sarap ep 4: % P ony ws gy. DA sapien Condition @ Pond ay as p. 3) Y Proncwe P. rien WV w netioay Jor. p MW) 4 SAlsud Som P- a ) Gy Untod martin a FVD. st. g‘Ae loaves contea popcliar Conran (Numae : 1) Conwnae => Y] a) lontraporubue > ~Y> ~p pe 4 Truth ble cay ape eT| 7 oii T = = , f F at Be (EYE. | ceubahll f Eid esl #8 Wosite ContG@posihur , @nUuere and jnwist Condition Strtoment We aseslt tein ugin w uk us Toba ing . an [P> 9: Ba home bean cima WOMEN CL Gb da OANA ; *[envwad - 35 Ya home toons wins Yon vt uw Oinag > [Rona pacleay: np 3 vy 295 BO Nome Asarn Boe wot win then SF wet xoini pla 08 as 95 it us not Homing 5 Hor. Hows Aran Loeres ”wk pg er ee ee : ¥ Ways ef Wainy biconditiowl sbalemunt DP uy and onty ud y DP an 4: Dew ne aud Seeffiient Sore: 4) 5$ p tron y | 4H Presedence S| Aoqical ofsrator:- mmaLPahohit get ben fold Bol ~ book nay > Rou get & farm and. look vy a Rolik qak & fer or book. 941% Rake gat & porn then Rohet aot @ book. { MOV > Ge Rohit doe not, get a pon ten Rohit Laos rst got x book. Compound Ptoposition : St ds akoays Hue no wabbe ie Wok Ue Huth vebux s pe Propo sthion that occas “i it Us cote feutotory 2A compound preposition Vat us ahaa Febe no matir wigt | Aye brut uatur “4 prebovaion | Yrok occ wis in jb wo Q | Contradiction - ‘ 7A, Compornd bropeckion Yat a WA ‘eato tay Aer 0: Contradiction Os called @ | Ceningenay .ME Draw the truth table af 2 i) [PV ~e ] Po] wpe] pvan ‘li F 6 T fe vs Ei in) [Pn ve | re | uP Paw : : ae F & } 9) jae Poles pata He vortpourd prupoyition Let hare te Same putt Valu An att Pryible cages re ceblel Logical Muivalne TL combound perperition Pond ¥ ane alted toga pals. 14 Perg, ois © Beutosiey | Dohe nokkion Wk be aye = | ) praeey Py DP=EYHnote! Logical Myiirlinur us ual Local Conntetiren. "P couwialyt ute 47 (PEY) & Hy) v4 wt a ues re ws 2? shel meno oes ei Hf Stath Lebie [~e) | QO Chur © (Pay)= YP veyWEemorgaN P sou A P> hypothonis APIS op ng FAP conctinion ~(prq) Fab Vv ~y FAP Show thet pra yw “PV Y ve Ayically siyrinetod, ol FT Vivp PY |p vay ay Th Th Wy 17 | 5 , awir| g] « x G9 ht (ynryfiny pvqy ee nb) T an T/T F a | eee Pies ic T ) TYF/e F 7: Fel Teper T FT /e F A FILE It Je E Fle fe |e F 7 Low YH Cqnivahenes: @ baT=p > Selonbity Lew by Fp@ Domination tar) py TST par er @ Sdompotort law > pvp = p b\pep 9 Doble ngatin w+ ~ (BD = p SD Commutative Jaw + ie Pvy = VV p MY =yny @ Associative few Chva)yvr = py (ave) (pra nraipn(yar 9) Dick bubiue fouo = pA YYE) = ( pngy)v (bar) Rosorpiien laws bv(baq) 2p pa hyy2p & Nusakiony Sows = py wap = T pregp= F a wit ss and | Sar sal. (you we hard meaondit Vg or Ja ompv creo’“8 You an acces the Trlrnedl $e Compecs P| Ody gos sane A CSTE BF fous ate hore Stash man - oy STFS CV OT te 2 Pe You heme a due Y= Jou mused the Sral ean ve ou pas He Coun. Deoq 15 You haw a due 1 Sou massed the fol eran. 2) wa > x SS you dont Pbk tht Gdrall exam thor ou pars Yee counse. BD) (v pV-vg) 9 de Nee nat due ok a dct righ ooo XQ Won Jou pow the cowrse - 7 Sho Ue Coven) = Op nvay cw i Prost | v4 i7p | co (OMAP AY 1) = PN NY Joye nye > vpn vompny) > ~p r eb) V ~(a)| Parse vpaLey v9] Loishibutin SS (~o PS pv (vps ~q) Jo) [By nyakinuds FV bvP ® ~y) [bg zazntity bd) 2> ear] Hone varidurd 4 Pareclicale > Conmmnon propery af pubosition F: Sam ws & bachelos | BCS W:Schn ca a hochitor JOC) ¥: Mud us a bwchelos- |p (m) Bin pula ~> [05 a Fala Fut «© ho a dowabt and de a set pu we Sentenie Knin PO % us Cate a propo scvoral Sa- WIM woxpect WO Ly sc d Sox gach valu al y Jn D,Poo us palpiF Ree 0 ws demain y Aiccowrsl - “Ey Uk pO denote Ue slatenvnt © >3 dhon hax Gn ke kyulh vialus 4 plu, pir), pla): $0 plu) > pC) 2T pi? F ay ooyearcopn ty Opie — lepers lity ear MEM Vite spate secede Beni? ALU{)> x>=4 Find’ Phe Huth valu # (23) @(2,5) Som Q29) > Jrue ae OL2,99 > Fale & O32 oad) x= ya] Flad Huth vals 0 (2,1), A(5,4) ales BON) > Te (5:9) > True 0 (63) > Fale 7Qs prdacke us tell. Man 4ilt- C86) bi dha Yristig ua tad Ruan) Selo BUS) A RLY 7 Podialh vipa 4 & fbely dit a Sobucd gta eturont Can how: > Pad ads a sult Uut in the domain rithur * QuonkSary + 2 Oninoryal 2) Cristenkal. 84 to lou, Yabug Ho Value Mat o fat. 2) Up : LY Oniuenal Aid Sites Se iy aa) quarts a Poa uw Shitumonr Px) Sor alt values 4 X dn the Choma. n: Exawnhee X7P OO. Flt pod be stalumoct ns Alana, drut J i foun vou 2) pee sie Ww AL dovnein Compiste ah oh yuo nunYu 7 hursal br Sie Ke = ya WgFUdays af nie Unulersal Yar ; ) Sor att xX XY Sox rue :S AW ¢ 4) Gr Lach s) by abou | 20wn alt te alameda in th dornsin Con be Lakl | SaidsX, )X> = Xy UT Splloae that wniuael PambSicabion iy the Same @d bor, Px) | 2 Pe) ---— px, . COnfeur G7 PO) us a budite Fun x > + Find Me Pi Wee OF a ubtiol iain te oh [lags True [ateedion sited ta Se eR ) Only LF domain WA Sek oF in YA dovnoin vig Padma ber (er. - “bE, Hon cenivtoral Juutisnh o sik | 4 Propositional Sanction POD ie Hea. #IS domain ir eaa CHistotial Quanki Ser > dhe Cxistenteel Quanbiies y Poo dy BML propcsition thin pict an omen Crictenhal AuawkiGer tn terms y Des demtion - POD VP Ged Vv pis) - ~~-y PLvy)- lt PODS LDS Find truth value gor att ret Mredpens - Sho Sinw Hun aw Mudkiele condition for wich = . S73 Mt tre So the truth value well be [Bese] Aye Ny RI i Noke > Zxistentich Quantitins> Disjentron > Unni Sook 8 > Con rekonFu 3 domaen vA empty Hon teeth rabue Of thi CriSten Hil Quant stews fecbae PCD Dee tials) od 5 5 Wnirael —_Objeet Prect cote Quenbi ser — >, Bod? x av animes | coer & thou duut a man &) Cero, % Some oon at hour. Gaza, B (ise vis chan | lt 8) be the Slafemwnt IH > Begag nov, ey Se a inhi + Ber | {= dx QWs>7 of dnbipen tnd Hoe Heth vale 3x7 AWs 7 V2 ~ 0) DFD AW wormnd ae morfar- Sh i FF Dorrain ! humans = 95 aa G4 Women | Hon Sus more. ee cy WL) Sq) wr = 4 Wists) QuontiCerg: n (Wx Pwd) = flee eo Pc ~ (Ax Ped) = Wx vw PX Q AL maBuneteccallens wea glares = We 900 > Show guist a malhematiions who Rovs eALTD Soma pounaand at Tre Lee gsctenbind Quant Buty Sx Hw ptm > [Hen os Sahel) > {Rix piihcians ane diskonirt & E Proofs. + 4) Divect PyooSs 2) Sndixeet, Pyoots | (rot abort 3) Vacuouy ee " ae ae 4) Triviedl Pivot 3) ProoS by Cont racdiction 6) Proos BH Upivetene Q Pao by Count, Ckamepte | #Diceck Crooye 2 attra sabhe A pay: Ply] es T ak T i yee | oF i Fo t a FF a i L—tt y Leg Direct proos ica Ab? GS N ws ORK, Vn n> ws odd: ; . | Dy BS n ww odd, Yeo n™ us odd: Mel fs eae i Q Uk assume tet on da dn odd Aukigor | N= AR+I wre QRet)* We URYAK +] We A(ak4ze+] ae Jn 2X 41 | Q SMow Bok Aw proddet ye Ihe aie es & 0 okR Swhgre | La Pay be od inkgee Soy (Qatr)( xr!) ; ae Pe Qk ARAL) RW+204] a= Qs} | URL TAREE] Year+ 2( RID +] | 2 (ARr+ (Krad) +! | [R MAM plowe omeF HIndixect prot / pros by Contradiction: 8 Pros Mat us n+3 us odd then We Lion) « Saby La we assume Awl nv cia odd: j= 2R4] n743= (aki) 3 ) DUR TIF UR +3 SURTURTY Cs Plustays ice Cen > M Wich cis alu Flay PWR Mug QFARADT oftuatehe in Pray 4 a=b azs ab a br= ah- bt (+bYa-) = bCa-b) ath =b ‘Qb=b (eT) » ab= ab ib = ab (E5ED = (ed Ira (Fb = fate Gi eis & {ab i= Jab 2