Proof methods
This presentation is the property of its rightful owner.
Sponsored Links
1 / 19

Proof Methods , , ~ , ,  PowerPoint PPT Presentation


  • 47 Views
  • Uploaded on
  • Presentation posted in: General

Proof Methods , , ~ , , . Purpose of Section:Most theorems in mathematics take the form of an implication P  Q or as a biconditional

Download Presentation

Proof Methods , , ~ , , 

An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Presentation Transcript


Proof methods

Proof Methods , , ~, , 

Purpose of Section:Most theorems in mathematics take the form of an implication P  Q or as a biconditional

P  Q , where the biconditional can be verified by proving both P Q and Q P . We will study a variety of ways of proving PQ including a direct proof, proof by contrapositive, and three variations of proof by contradiction, including proof by reductio ad absurdum

Instructor: Hayk Melikya [email protected]


Proof methods

Many theorems in mathematics have the form of an

implication PQ, where one assumes the validity of P , then

with the aid of existing mathematical facts and theorems as

well as laws of logic and reasoning, arrive at the conclusion Q.

Although the goal is always to “go from P to Q,” is more than

one valid way of achieving this goal.

Five equivalent ways to proving the implication PQ are

shown in next


Five forms

Five forms


Example 1

Example 1

(Direct Proof) If n is an odd natural number, then n2 is odd.

Proof: An integer n is called odd if it is of the form n = 2k +1 for some integer k , then since we assumed n odd, we can write n = 2k +1. Squaring gives

n2 = (2k +1)2

= 4k2 + 4k + 1

= 2(2k2 + 2k ) + 1

Since k is a natural number we know s = 2k2 + 2k

is a natural number and so n2 = 2s +1 which proves that n2is

odd.


Proof methods

You should remember the symbols used to denote for each set such as increasing collection of set N, Z, Q, R, C since we will be referring to these sets in the remainder of the book.


Direct proof p q

Direct Proof [PQ]

A direct proof starts with the given assumption P and uses existing facts to

establish the truth of the conclusion Q. More formally:

Let H1, H2, … Hk , P and Q be a propositional expressions then

H1, H2, … Hk ├ P Q

if and only if

H1, H2, … Hk, P ├ Q.

The Rule of Direct Proof [DP] (often called Deduction Theorem) can be shown to be true by use of Exportation (see the theorem ):

H1, H2, … Hk, (P  Q)  (H1 H2 …  Hk P )  Q .


Example prove p q r s p r

Example: Prove (P  Q)  (R  S)├ P  R.

Proof:

1. (P  Q)  (Q  R) Hyp

(Goal P  R)

2. P Assum

3. P  Q 2 Add

4. Q  R 2, 1 MP

5. R 4 S

6. P  R. 25 DP

END


Proof methods

We can use this approach to write paragraphs proofs also.

Always follow the following steps while writing paragraph proofs:

  • Identify hypothesis and conclusion of implication,

  • assume the hypothesis

  • translate the hypothesis (replace more useable equivalent form),

  • write comment regarding what must be shown,

  • translate the comment (replace more useable equivalent form)

  • deduce the conclusion


Example let x be an integer prove that if x is an odd integer then x 1 is even integer

Example:Let x be an integer. Prove that if x is an odd integer then x + 1 is even integer.

Let P:=” x is odd integer” (hypothesis)

and Q := “x + 1 is even integer ” (conclusion).

What we want

├ P  Q

Assume P:

Translate: by definition x is even if x = 2k +1 for some integer k

Then

x + 1 = (2k + 1) +1 = 2k + 2

= 2(k + 1)

Indirect proofs2 refer to proof by contrapositive or proof by contradiction which we introduce here


Indirect proofs

Indirect Proofs:

Indirect proofs refer to proof by contrapositive or proof by

contradiction which we introduce next .

A contrapositive proof or proof by contrapositive for

conditional propositionP  Q one makes use of the tautology

(P Q)  (  Q  P).

Since P  Q and  Q  P are logically equivalent we first

give a direct proof of  Q  P and then conclude thatP  Q.

One type of theorem where proof by contrapositive is often used is where

the conclusion Q states something does not exist.


Here is the structure of contrapositive proof of p q

Here is the structure of contrapositive proof of P  Q

Proof:

Assume,  Q,

.

.

.

Therefore,  P.

Thus,  Q  P

Therefore, P  Q.

END


Contradictions 1

Contradictions -1:

Let H1, H2, … Hkand Q be a propositional expressions then

H1, H2, … Hk ├ Q

if and only if

H1, H2, … Hk Q ├ P  P

for some propositional expression P.

This is also known as proof by contradiction or

reductio ad absurdum.


Contradictions 2 p q p or p q q

Contradictions-2 [ ( P  Q)  Por(P  Q)  Q ]

A proof by contradiction is based on the tautology

P  (P  (Q Q)).

Here the hypotheses P to be true but the conclusion Q false,

and from this reach some type of contradiction, either

contradicting the assumption P or contradicting the denial  Q


Reductio ad absurdum p q r r

Reductio ad absurdum [ ( P  Q)  R  R ].

Reductio ad absurdum is another form of proof by contradiction.

After assuming P is true and Q is not true, one seeks to prove

an absurd result (like 1 = 0 or x2 < 0 ),

which we denote by R  R.


Not mathematical proofs

Not Mathematical Proofs:

▶ The proof is so easy we’ll skip it.

▶ Don’t be stupid, of course it’s true!

▶ It’s true because I said it’s true!

▶ Oh God let it be true!

▶ I have this gut feeling.

▶ I did it last night.

▶ I define it to be true!

You can think of a few yourself.


Examples

Examples:

Example 6 (Proof by Contrapositive) :

Let n be a natural number. If n2is odd so is n.

Example 7 (Proof by Contradiction):

is irrational number.


Statement forms in mathematics

Statement forms in Mathematics


  • Login