CPSC 121 Study Guide - Midterm Guide: Elementary Arithmetic, Peanut Butter, Natural Number
38
CPSC 121 Full Course Notes
Verified Note
38 documents
Document Summary
1 pred logic to proof structure [6 marks] Consider the following theorem: ( x a, p (x, x)) ( a a, b a, p (a, b) c a, b (cid:54)= c p (b, c)) There is not enough information about a and p to prove this theorem. Instead, lay out as much of the structure of a direct proof of this theorem as you can. Whenever you choose a specic value for a variable, specify what (if anything) this choice can depend on. Please list each distinct step as its own bullet point so it"s easy for us to follow your proof structure! We"ve started you with the rst bullet point and completed step and the second bullet point. Assume x a, p (x, x). Assume x a, p (x, x). (note that this means we can select any element of a we like and know that.
