Limited time offer 20% OFF StudySoup Subscription details

# Georgia Tech - CS 2050 - Class Notes - Week 2

### Created by: DJ_Squared Elite Notetaker

> > > > Georgia Tech - CS 2050 - Class Notes - Week 2

Georgia Tech - CS 2050 - Class Notes - Week 2

##### Description: These notes cover sections 1.5 to 1.7 and include examples of the proofs.
This preview shows pages 1 - 3 of a 3 page document. to view the rest of the content

This is the end of the preview. Please to view the rest of the content
Join more than 18,000+ college students at Georgia Institute of Technology who use StudySoup to get ahead
3 Pages 41 Views 32 Unlocks
• Notes, Study Guides, Flashcards + More!
Join more than 18,000+ college students at Georgia Institute of Technology who use StudySoup to get ahead
##### Description: These notes cover sections 1.5 to 1.7 and include examples of the proofs.
3 Pages 41 Views 32 Unlocks
• Notes, Study Guides, Flashcards + More!

Unformatted text preview: 1.5 Nested Quantifiers Qcx, y, z) : x +y ez X,Y, 26Z /** by Ez (x, y, z) vs. Iz VxTy Q (x, y, z) Study Soup x OMX and y, there exists w z where +y = there existsez thot for all x and y x ty cz 32Hx Hy (x?ty=2) X, Y EZ", ZE Z O see zeo. Every student has a laptop Xye students or a friend with a laptope L'(x)X owns Top top HxBy [Lcx vel Cy) F(x, y))] F(x,y) : x is friends with yo F(x,y) bene - Fox, LO) - broken student booleanYxJy 3 z Pcx, y, z) 3x Vy VZ Plx,y,z) 7WxTy Jz Pcx,y,z) MP3 2) Study Soup De Morgan's for quantifier given De Morgon's De Morgan's De Morgan's A Sticky Soup 3x Vy Vy 7 P(x,y; 2) A studySoup There is a woman that has Xe women flown on every sirline, Je virlines fe flights 3x to gf (PCX, 4). ^Qcf; c)) P(xt) has flown fliglet QIP,): flight f is on airline Rules of Logic p12 = 2^p (av6^c) Elverf. commute OLVEVP) = (a v6^c) Distribute p^ (evr) = (p^2) v (p^,) ( Study SoupRules of Inference 1.6 (8 ) given premises - propositions that are true ..- therefore inter clitional statements conclusion premises Ptrue we = (p^(p-912 modus ponens (what you expect; A Study Soup you get [(p 9)^(2-r)] (por) hypothetical syllogram to < Stugon disjunctive syllogism simplification conjunction addition

×

I don't want to reset my password

Need help? Contact support

Need an Account? Is not associated with an account
We're here to help