h6: SL CHE * Seatentral Loge (Sv) Sypbehaetin Keys av Arguments Th we bee Ue felony argument: Thee is an apple on be desk Th Bea is an apple on Be desk, then Jenny made it te chs Le Toney mode st be class. © Sypotgadon Ley A+ Thee is om apde om the desk B+ Jey made jt te dass @ Gprbotzation of be Argument A TE A, then B. 8B Coaneckes = Tree ae five logieal connecter om SL. Connective Sambol Whet it means Stakence Negation = * Te is nat be Case that,” Grywnction A "Quo. ad ..! Dicyancton v " Eten. or.” Crdibwnal > “TP then Riconds bonal o ‘ sf and only if ..!How might we Cymboliae (hese Sentences? 1 Mary ig wm Bercelona 2. Marg iS wot v4 Barcelona dB. Moy 1s Somewhere besides Barcelona Sumbelreetion Veg Be Mary 1S Baralona. 18 2. 78 3, 76 Exangls 4. The widget can be feplaced if it breaks S. The wndget is irreplaceable, ©. Te widget is wet ureplaceable. Syabolanten Key Re The wndget ic replacerble. 4 R S. AR 6 AWR- R Tout Table for Negateon AC Ana AnD Coryancon Consider Yruese Sentences: A. Adam is athlete. 10. Qarbara is attletic. Wo Adam is attlehe Qynbolizaton Keg evr and Barbara Is alco athletic At Adan is athtele B+ Baran is athlete 4 A wo @ we AAS Examples 12. Barbara is athlehe and enegehe 13, Barbara and Adam art beth athletic. Uh, Although Rarbara Is energehe | She © nol athlehe. 1S. Barkara ic alhletic, but Adam ig more athletic Khan She &, Camnbslrantin Kee Be E+ Barban Is energetic A+ Adam ts athlehe Re Badan to wore aklletc than Barbara ja. BAE 13. BAA Barbara is athletewe ENTE \‘s BAR Trath Table fe Grjancton a 8 AAB = BAA TO OT T Tv T € € F e oT € e eo F & Goyrachon 1s Squmedncal dg sanction Consrdie Were Sentences: Te. Enter Denson will play gplf wilh me, or he will watch mones 11, Ewer Benton or Elle will phy golf with me. Syrioevaebon oy. D+ Denson will ploy gel? with me € Ellery will play oF wile me. Ms Remsen anil watch mores %. bYM 7 DVE Fate Table for Digyanchon a avid |? anand le aaa lg 2 naa IrLie coynction , disyunctin 1S Symmetnen|, Condstrenal Ge ve Fasting Sentence = a. Th ye ca We red wee, tren Kee Lomb will explede Syecbelrzation Ri Mow will cat Te red wiee Re Tee bomb wll explode. a. TPR, B - RE N Prtecedet — Conseqrent AB is fale WE. Ais tre and @ is fake Truth Table for De Grdityenal Connect, A & A>e # BoA TT T Tt T & F Tv e oT T € F € T T Te cnditional connectne 1S asymmetnanl Gree A>BF BOA Grcondttional Consider Kuese Sentences 2. The Figure on Me board ic a trnple Unerehiee ik bas cractly thee Ses a. The Fyne on te board ic a trang if it has exactig tree Seles UH. The Figure on te board ic a brung if and only if ik bas exatly Thre Sdes Gamtootration VeTe The fgue om te board is a tangle Si te h ~ + The figure as Urner erdes, a T?$ a. SOT 24. S2T wd TSS + CSeTA(T>S) seT A <>B is tre IF A and B bow te Sane rth Valuc. Truth Table for be bicnditinal Gunectwe A & ASB = BOA T T T T T e & € € T e f & F T T Tee biconditional Connected IS Syamebncal. Expressions Gapoole used vm SL Sentene Letter + ABC z with Suosenpts iP needed roo A 8, ,20 Aas Jap, TN AOS ot Connectwies brackets, Def: —— Aa expression of SL is amy Stig Grsistin & symbols of SL Well = formed formula (wiff ) oy Sequene of SL samble firm an txprecnor of SL. Fr meannofal expression TS Called a well-formed formula.Notatinal Conventions AP we have a WAT QAR ad we wart te negele be ok expression 2 ABAR 2 correct? X we wate ikas 7 (QAR) iP we hae: (CCU 21) v(t W)a (ave) we wag wate if ast ( Gen)v Gaa))n Gee) no lomenl differen , bat Lacen to Mead iE we Wat + IS. Ald Rab and Candict all went ty be gory, Syubeliraton Key Re Rlue wont te te parby Q> Boo uel te par Ct Candie went day 2s. (AAB)AC ‘ Aa (bac) wate kas! AABAC Gonlarly P we hed: 26. Etter Ale Geb ,or Cardio went te he pty. ac. AvBve weted of — (Ava)ve oo = AV (ave)