Warmup Even Find The Bug Bug Found English
![Warm-up Even Warm-up Even](https://slidetodoc.com/presentation_image_h2/a0ab391ad25848afb75e51d0893026c7/image-1.jpg)
Warm-up Even
![Find The Bug Find The Bug](http://slidetodoc.com/presentation_image_h2/a0ab391ad25848afb75e51d0893026c7/image-2.jpg)
Find The Bug
![Bug Found Bug Found](http://slidetodoc.com/presentation_image_h2/a0ab391ad25848afb75e51d0893026c7/image-3.jpg)
Bug Found
![English Proofs CSE 311 Fall 2020 Lecture 9 English Proofs CSE 311 Fall 2020 Lecture 9](http://slidetodoc.com/presentation_image_h2/a0ab391ad25848afb75e51d0893026c7/image-4.jpg)
English Proofs CSE 311 Fall 2020 Lecture 9
![Announcements Please download a new copy of HW 3. We fixed two typos over Announcements Please download a new copy of HW 3. We fixed two typos over](http://slidetodoc.com/presentation_image_h2/a0ab391ad25848afb75e51d0893026c7/image-5.jpg)
Announcements Please download a new copy of HW 3. We fixed two typos over the weekend. Two optional readings going up today (maybe tomorrow…). Another explanation of domain restriction. An explanation of why mathematicians and computer scientists agreed that vacuous truth was the “right” definition. We’ll link both on this week’s section in the calendar.
![Today We’re taking off the training wheels! Our goal with writing symbolic proofs was Today We’re taking off the training wheels! Our goal with writing symbolic proofs was](http://slidetodoc.com/presentation_image_h2/a0ab391ad25848afb75e51d0893026c7/image-6.jpg)
Today We’re taking off the training wheels! Our goal with writing symbolic proofs was to prepare us to write proofs in English. Let’s get started. The next 3 weeks: Practice communicating clear arguments to others. Learn new proof techniques. Learn fundamental objects (sets, number theory) that will let us talk more easily about computation at the end of the quarter.
![Warm-up Even Warm-up Even](http://slidetodoc.com/presentation_image_h2/a0ab391ad25848afb75e51d0893026c7/image-7.jpg)
Warm-up Even
![](http://slidetodoc.com/presentation_image_h2/a0ab391ad25848afb75e51d0893026c7/image-8.jpg)
![](http://slidetodoc.com/presentation_image_h2/a0ab391ad25848afb75e51d0893026c7/image-9.jpg)
![Converting to English Converting to English](http://slidetodoc.com/presentation_image_h2/a0ab391ad25848afb75e51d0893026c7/image-10.jpg)
Converting to English
![Let’s do another! First a definition Rational Let’s do another! First a definition Rational](http://slidetodoc.com/presentation_image_h2/a0ab391ad25848afb75e51d0893026c7/image-11.jpg)
Let’s do another! First a definition Rational
![Let’s do another! “The product of two rational numbers is rational. ” What is Let’s do another! “The product of two rational numbers is rational. ” What is](http://slidetodoc.com/presentation_image_h2/a0ab391ad25848afb75e51d0893026c7/image-12.jpg)
Let’s do another! “The product of two rational numbers is rational. ” What is this statement in predicate logic?
![Doing a Proof Doing a Proof](http://slidetodoc.com/presentation_image_h2/a0ab391ad25848afb75e51d0893026c7/image-13.jpg)
Doing a Proof
![Let’s do another! Let’s do another!](http://slidetodoc.com/presentation_image_h2/a0ab391ad25848afb75e51d0893026c7/image-14.jpg)
Let’s do another!
![Let’s do another! Let’s do another!](http://slidetodoc.com/presentation_image_h2/a0ab391ad25848afb75e51d0893026c7/image-15.jpg)
Let’s do another!
![Now You Try The sum of two even numbers is even. 1. Write the Now You Try The sum of two even numbers is even. 1. Write the](http://slidetodoc.com/presentation_image_h2/a0ab391ad25848afb75e51d0893026c7/image-16.jpg)
Now You Try The sum of two even numbers is even. 1. Write the statement in predicate logic. 2. Write an English proof. 3. If you have lots of extra time, try writing the symbolic proof instead.
![Now You Try Even The sum of two even numbers is even. Make sure Now You Try Even The sum of two even numbers is even. Make sure](http://slidetodoc.com/presentation_image_h2/a0ab391ad25848afb75e51d0893026c7/image-17.jpg)
Now You Try Even The sum of two even numbers is even. Make sure you know: 1. What every word in the statement means. Fill out the poll everywhere for Activity Credit! Go to pollev. com/cse 311 and login with your UW identity 2. What the statement as a whole means. Or text cse 311 to 22333 3. Where to start. 1. Write the statement in predicate logic. 4. What your target is. 2. Write an English proof. 3. If you have lots of extra time, try writing the symbolic proof instead.
![Here’s What I got. Here’s What I got.](http://slidetodoc.com/presentation_image_h2/a0ab391ad25848afb75e51d0893026c7/image-18.jpg)
Here’s What I got.
![Why English Proofs? Those symbolic proofs seemed pretty nice. Computers understand them, and can Why English Proofs? Those symbolic proofs seemed pretty nice. Computers understand them, and can](http://slidetodoc.com/presentation_image_h2/a0ab391ad25848afb75e51d0893026c7/image-19.jpg)
Why English Proofs? Those symbolic proofs seemed pretty nice. Computers understand them, and can check them. So what’s up with these English proofs? They’re far easier for people to understand. But instead of a computer checking them, now a human is checking them.
![Sets Sets](http://slidetodoc.com/presentation_image_h2/a0ab391ad25848afb75e51d0893026c7/image-20.jpg)
Sets
![Set Set](http://slidetodoc.com/presentation_image_h2/a0ab391ad25848afb75e51d0893026c7/image-21.jpg)
Set
![Sets Sets](http://slidetodoc.com/presentation_image_h2/a0ab391ad25848afb75e51d0893026c7/image-22.jpg)
Sets
![Sets Sets](http://slidetodoc.com/presentation_image_h2/a0ab391ad25848afb75e51d0893026c7/image-23.jpg)
Sets
![Try it! Try it!](http://slidetodoc.com/presentation_image_h2/a0ab391ad25848afb75e51d0893026c7/image-24.jpg)
Try it!
- Slides: 24