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

School: Georgia Institute of Technology
Department: Computer Science and Engineering
Course: Intro Discrete Math CS
Professor: Sweat
Term: Fall 2018
Tags: proofs, 1.5 Quantifiers, 1.6 nested quantifiers, 1.7, logic, inference, and Discrete math
Name: Intro to Discrete Math for CS week 2
Description: These notes cover sections 1.5 to 1.7 and include examples of the proofs.
Uploaded: 09/11/2018
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
  • Better Grades Guarantee
  • 24/7 Homework help
  • Notes, Study Guides, Flashcards + More!
Join more than 18,000+ college students at Georgia Institute of Technology who use StudySoup to get ahead
School: Georgia Institute of Technology
Department: Computer Science and Engineering
Course: Intro Discrete Math CS
Professor: Sweat
Term: Fall 2018
Tags: proofs, 1.5 Quantifiers, 1.6 nested quantifiers, 1.7, logic, inference, and Discrete math
Name: Intro to Discrete Math for CS week 2
Description: These notes cover sections 1.5 to 1.7 and include examples of the proofs.
Uploaded: 09/11/2018
3 Pages 41 Views 32 Unlocks
  • Better Grades Guarantee
  • 24/7 Homework help
  • 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

Join StudySoup for FREE
Get Full Access to GATech - Class Notes - Week 2
Join with Email
Already have an account? Login here
×
Log in to StudySoup
Get Full Access to GATech - Class Notes - Week 2

Forgot password? Reset password here

Reset your password

I don't want to reset my password

Need help? Contact support

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

Having trouble accessing your account? Let us help you, contact support at +1(510) 944-1054 or support@studysoup.com

Got it, thanks!
Password Reset Request Sent An email has been sent to the email address associated to your account. Follow the link in the email to reset your password. If you're having trouble finding our email please check your spam folder
Got it, thanks!
Already have an Account? Is already in use
Log in
Incorrect Password The password used to log in with this account is incorrect
Try Again

Forgot password? Reset it here