20_proofs

20_proofs - Introduction to Computers and Programming Prof....

Info iconThis preview shows pages 1–5. Sign up to view the full content.

View Full Document Right Arrow Icon
Introduction to Computers and Programming Prof. I. K. Lundqvist Lecture 20 2 Proof by Truth Table x Æ y and ( ¬ x) y are logically equivalent 1 0 1 1 1 0 0 0 0 1 1 1 1 1 0 1 1 1 0 0 ( ¬ x) y ¬ x x Æ y y x May 5 2004 •Propos
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
3 Definitions Even An integer n is even, iff n =2 k for some integer k . n is even ↔∃ k such that n = 2 k Odd An integer n is odd, iff n =2 k +1 for some integer k . n is odd ↔∃ an integer k such that n = 2 k +1 Divisible An integer n is divisible by m , iff n and m are integers such that that there is an integer k such that mk = n n is divisible by m ↔∃ an integer k such that mk = n 4 The sum of two even integers is even the conclusion (end) unwind definitions an integer 1. Rewrite as a condition (using if, then) 2. Write the hypothesis (beginning) and 1. For beginning: establish notation and 2. For end: unwind definitions backwards 3.…and…wa
Background image of page 2
5 The sum of two even integers is even 1. [conditional] Proof: 2. Let x and y be integers [hypothesis] [conclusion] 5. y is even, so 2|y 6. There is an integer, e.g., b, with y=2b [as above] 7. 4. There is an integer, e.g., a, with x=2a [def. of divisible] 8. 3. x is even, so 2|x 9. (x+y) is even, so 2|(x+y) 6 Direct Proof simple combination of existing theorems restated the theorem and beginning of the proof your argument. If x and y are even integers, then x+y is even 10. x + y is even [likewise for y] (x+y)=2(a+b) so take c = (a+b) [add equations in 4 and 6] There is an integer, e.g, c, with (x+y)=2c [def. of divisible] [def. of even] [def. of even] • Show that a given statement is true by – With or without mathematical manipulations • Template for Proof of an if-then theorem – First sentence(s) of proof is the hypothesis – Last sentence(s) of proof is the conclusion of – Unwind the definitions, working from both end – Try to forge a ‘link’ between the two halves of
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
7 Direct Proof Example (1/2) Given :
Background image of page 4
Image of page 5
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 01/28/2012 for the course AERO 16.01 taught by Professor Markdrela during the Fall '05 term at MIT.

Page1 / 11

20_proofs - Introduction to Computers and Programming Prof....

This preview shows document pages 1 - 5. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online