CSC165H1 Lecture Notes - Thx
cherryberry1035 and 38883 others unlocked
3
CSC165H1 Full Course Notes
Verified Note
3 documents
Document Summary
Fall 2011: write detailed proof structures for each of the following statements. Don"t write complete proofs for now, focus on the proof structure only and leave out all of the actual content . (a) x z, y z, x (cid:54) y z z, x (cid:54) z (cid:54) y. # pick a value that depends on x and y. proof. Then, x z, y z, x (cid:54) y z z, x (cid:54) z (cid:54) y. # introduce (b) x z, ( y z, x = 3y + 1) ( y z, x2 = 3y + 1) # pick a value that depends on x and y0. proof. Then, ( y z, x = 3y + 1) ( y z, x2 = 3y + 1) # introduce . Then, x z, ( y z, x = 3y + 1) ( y z, x2 = 3y + 1) # introduce (c) x n, y n, y > x ay > ax.