New User Special Price Expires in

Let's log you in.

Sign in with Facebook


Don't have a StudySoup account? Create one here!


Create a StudySoup account

Be part of our community, it's free to join!

Sign up with Facebook


Create your account
By creating an account you agree to StudySoup's terms and conditions and privacy policy

Already have a StudySoup account? Login here

Constructing Proofs

by: Alayna Veum

Constructing Proofs CS 1050

Alayna Veum

GPA 3.81


Almost Ready


These notes were just uploaded, and will be ready to view shortly.

Purchase these notes here, or revisit this page.

Either way, we'll remind you when they're ready :)

Preview These Notes for FREE

Get a free preview of these Notes, just enter your email below.

Unlock Preview
Unlock Preview

Preview these materials now for free

Why put in your email? Get access to more of this material and other relevant free materials for your school

View Preview

About this Document

Class Notes
25 ?




Popular in Course

Popular in ComputerScienence

This 0 page Class Notes was uploaded by Alayna Veum on Monday November 2, 2015. The Class Notes belongs to CS 1050 at Georgia Institute of Technology - Main Campus taught by Staff in Fall. Since its upload, it has received 8 views. For similar materials see /class/234144/cs-1050-georgia-institute-of-technology-main-campus in ComputerScienence at Georgia Institute of Technology - Main Campus.

Similar to CS 1050 at

Popular in ComputerScienence


Reviews for Constructing Proofs


Report this Material


What is Karma?


Karma is the currency of StudySoup.

You can buy or earn more Karma at anytime and redeem it for class notes, study guides, flashcards, and more!

Date Created: 11/02/15
4 7 Hmu r H 47L m A 3 M zw4mA mmh A x 11 wt 4 L A m gtKVI1IE4 ll LL a L an uznmnsn 4 Wyntux L a uraugrwm 5W a In 2y lvgyLL x a mud PJmRAW J H ti u H Afll ru39dnn Elm ALL l m g mn x z m 139 L n sMsf 77m A VJ 2 3 a 1 L but Km 1 444 J l m 2 s 1 Ma 1 rum 6 x v 14 NK J L a 54 LLL 1 Le 1 lw 5L 439 MUM s u munmg qu Mv w l o LnlvunIBk quot 7M1 h A 5 WI 7771 at 11447 7 A1 my u J A v SM M1 L1 A z Artsyma 41k a J 44 Mr VMLKLS 4 UVIAIEL A V 519 Lht A Anna 39 u rs W w z mama r 024 r Va mugMara J hm VIxmuu Fm u L wJ AUL1H 5 any 57L M mam rrrs z m Akin L Hmulm yr 4 4 K 39 Ilam V AimMVUSM uz a L 439 flagpuaunwnx M 1115 Jun 3 475quot pg Amid L 1 JJWM 4 ML 7 47 i i 7 Aquot a quotrquotquot V 77 nwsw7 4f 1m w W 7 39 r r Q wygu uibvlixy 397f y u w 3 MIL r 39W I39WfIv n quot rquot E1 7 u7 a irt 7 u 79 ranlt5 gtu1 7 W 39 aa39 7 P17 s3qu39 way1y fquot W l V quotp 11 7 7 7 EVW39QI39 lthIv 5 r 7 V 47 139 13 7 Hf MS quot3 w mm quotI39 TV ZJ f 1 7 T f ii7 dyl7ITi1w 7 fh39 V Wquot L1 J n w m I Lm L Mum Ax S m e nu1mm 7 tJJwm J r ed Uyu A a L m m L V f7 u X6 u L J JJMJZ 4 3rJIV0WLLH 1 13 J lt V 14 4 mug g gmllLLLJz km4 and 9 39 thru quotJ A u A e AMEIL w 1 ng s AunZJ s 2 5 Lu U 141 Je mm d RM 2 vas Artyu Ayn Au 4 Trina 47 a 5 LA Jn1 JMAJ A Lam39m cm nunn MAM 4M w 2 KL M 4 Emmi M1 Im r39E M a W in ML x Amw 1147 L quota 4ij L21 AM A armruul44 AA E Wk 1 VI 4JVu m uInyzna3mum n ML ll IA4Mch1 AA5yymu a 17 7 mysm UMLn f nk s4I31 l 41L MLL Lml it 11 a 1 1 75quot AAA L L7 9419 1 knuvm H llur r1 J me 11 J LLy 5 7 J hu nMram and quot4 1Ak395 m lt L a 7 H 7 Iquot 3p gt s v s gt tl 61 apply rule 10a to l we get p v s v s v t 2 13 appying rule 3a to 2 we get p v s v s v t3 0 applying rule 5a to 3 we get p v s v s v s v t 4 d applying 3a to 3 pvsvsvt applying 5a to 4 p v s v t 5 6 appying 10a to 6 we get p gt s v t 5 See the back of the book 15 see back ofthe book 16 p 9 q is true when either p is true and q is false or when q is true and p is false pA qX pAq 19 a p q pAq pvpAq 0 0 0 0 0 1 0 0 1 0 0 1 1 1 1 1 thef1rstandforthcolumns arethesamesopvpqltgtp b p q pAq pApvq 0 0 0 0 0 1 1 0 1 0 1 1 1 1 1 1 Again the first and forth clolumns are the same so the result Section 26 1 This argument is not valid The aw is in the statemen quot if A were false than C would be false tooquot This statement does not follow logically from statement quot A implies Cquot symbolically A gt C does not follow from A gt C 3 a counterexample when A is false A gtC is true but C is false Therefore there is no proof that C is always true b counterexample when both A and B are false A gtC and B gtC are true but C is false 0 similar to a and b except that we assume Al A2 A3 A100000 are all false 6 assume take bus E b take subway E s late for appt El be broke E r hypotheses l bvs gt1 2 c gt lr 3 l a C does not follow from hypotheses There are other ways to be on time aside from taking a cab For example a friend could39Ve come and picked them up and drove them to the appt on time b We can only infer this if they took a cab But from a we know that they may not have taken the cab Fi their friend picked them up they would be on time and not be broke c Using contrapositive on 1 using DeMorgan s law Il gt Ib IS rule 17 applied to 5 Il gt IS rule 19 applied to 6 and 3 IS d does not follow There are many other ways of spending all your money besides taking a cab e Does not follow One can take a bus spend all their money on chocolate and still be broke 9 a look in the back of the book b Dry weather E d Hike E h Swim E s Warm weather E w Hypotheses d gthvs l us 2 applying contrapositive to l applying DeMorgan s law applied to 3 Ih IS gt Id applying rule 13 to 2 w gtssaw 5 applying rule 16 to 5 w gts 6 applying contrapositive to 6 IS gt IW applying rule 19 to 6 and 4 we get applying 10a to 7 applying deMorgan s law to 8 hvwv d 9 appling associative law to 9 hvwv d 10 apply 10a to 10 h gtwv d 11 commutative law applied to l l Ih gt IdW c look in the back ofthe book d Study law E 1 Make lots money E In Study archeology E a Travel a lot E t Be disappointed E d Hypotheses lam l aat 2 mvt gt d 3 contrapositive to 3 d gt mvt 4 demorgan s to 4 d gt Im It contrapositive to l contrapositive to 2 ut gt ua rule 12b and simpli cation to 5 d gt m 8 rule 24 to 8 and 6 da d 9 rule 12b and simplication to 5 da a 10 rule 24 to 10 and 7 d gt ua l2b applied to 9 and l l d gt ul ua 12 a counterexample p q rpAr qAr gtp r qa ur 0 0 0 l l 1 all hypotheses are true yet p is false


Buy Material

Are you sure you want to buy this material for

25 Karma

Buy Material

BOOM! Enjoy Your Free Notes!

We've added these Notes to your profile, click here to view them now.


You're already Subscribed!

Looks like you've already subscribed to StudySoup, you won't need to purchase another subscription to get this material. To access this material simply click 'View Full Document'

Why people love StudySoup

Steve Martinelli UC Los Angeles

"There's no way I would have passed my Organic Chemistry class this semester without the notes and study guides I got from StudySoup."

Janice Dongeun University of Washington

"I used the money I made selling my notes & study guides to pay for spring break in Olympia, Washington...which was Sweet!"

Jim McGreen Ohio University

"Knowing I can count on the Elite Notetaker in my class allows me to focus on what the professor is saying instead of just scribbling notes the whole time and falling behind."


"Their 'Elite Notetakers' are making over $1,200/month in sales by creating high quality content that helps their classmates in a time of need."

Become an Elite Notetaker and start selling your notes online!

Refund Policy


All subscriptions to StudySoup are paid in full at the time of subscribing. To change your credit card information or to cancel your subscription, go to "Edit Settings". All credit card information will be available there. If you should decide to cancel your subscription, it will continue to be valid until the next payment period, as all payments for the current period were made in advance. For special circumstances, please email


StudySoup has more than 1 million course-specific study resources to help students study smarter. If you’re having trouble finding what you’re looking for, our customer support team can help you find what you need! Feel free to contact them here:

Recurring Subscriptions: If you have canceled your recurring subscription on the day of renewal and have not downloaded any documents, you may request a refund by submitting an email to

Satisfaction Guarantee: If you’re not satisfied with your subscription, you can contact us for further help. Contact must be made within 3 business days of your subscription purchase and your refund request will be subject for review.

Please Note: Refunds can never be provided more than 30 days after the initial purchase date regardless of your activity on the site.