Discrete Structure lecture_23

Apr 28th, 2015
Studypool Tutor
University of Phoenix
Course: Information Technologies
Price: $5 USD

Tutor description

It includes all the details about the Discrete structure with examples.Step by step solution.

Word Count: 507
Showing Page: 1/5
DISCREAT STRUCTURELECTURE # 23METHOD OF PROOFKHAWAJA TARIQ MAHMOODLecture # 23METHOD OF PROOFMETHOD OF PROOF:To understand written mathematics, one must understand what makes up a correctmathematical argument, that is, a proof. This requires an understanding of the techniquesused to build proofs. The methods we will study for building proofs are also usedthroughout computer science, such as the rules computers used to reason, the techniquesused to verify that programs are correct, etc.METHODS OF PROOFINDIRECT PROOFDIRECT PROOFpqPROOF BYCONTRAPOSITIONp q ~q~pPROOF BYCONTRADICTIONp q (p~q) cDIRECT PROOF:The implication p q can be proved by showing that if p is true, the q must also betrue. This shows that the combination p true and q false never occurs. A proof of this kindis called a direct proof.pqpqTTFFTFTFTFTTKhawaja Tariq Mahmood.Page 2Lecture # 23METHOD OF PROOFEXAMPLE:Prove that the sum of two odd integers is evenSOLUTION:Let m and n be two odd integers. Then by definition of odd numbersm = 2k + 1for some k Zn = 2l + 1for some l ZNow m + n = (2k + 1) + (2l + 1)= 2k + 2l + 2= 2 (k + l + 1)= 2rwhere r = (k + l + 1) ZHence m + n is even.EXAMPLE:Prove that if n is any even integer, then(-1)n = 1SOLUTION:Suppose n is an even integer. Then n = 2k for some integer k.Now(-1) n= (-1)2k= [(-1)2]k= (1)k=1(proved)EXAMPLE:Prove that the product

Review from student

Studypool Student
" Solid work, thanks. "
Ask your homework questions. Receive quality answers!

Type your question here (or upload an image)

1820 tutors are online

Brown University





1271 Tutors

California Institute of Technology




2131 Tutors

Carnegie Mellon University




982 Tutors

Columbia University





1256 Tutors

Dartmouth University





2113 Tutors

Emory University





2279 Tutors

Harvard University





599 Tutors

Massachusetts Institute of Technology



2319 Tutors

New York University





1645 Tutors

Notre Dam University





1911 Tutors

Oklahoma University





2122 Tutors

Pennsylvania State University





932 Tutors

Princeton University





1211 Tutors

Stanford University





983 Tutors

University of California





1282 Tutors

Oxford University





123 Tutors

Yale University





2325 Tutors