CSC165H1 Lecture Notes - Lecture 3: Elementary Arithmetic, Solution Set, Ion
3
CSC165H1 Full Course Notes
Verified Note
3 documents
Document Summary
Csc165h1 - lecture 3 - universally quantified implication (continued from lecture 2) We trace our solution using a tracing table. As we trace our solution, for it to be consistent the solution set has to stay the same or get bigger. From our tracing table we can see that the solution gets bigger, which is consistent with the consecutive pairs of lines representing true uqi"s and the then statements used to connect them. Using a number line and a venn diagram . From the number line and the venn diagram, we can see that a is completely contained in b but b is not contained in a, because there are more elements in b than in a. Every step in the solution uses a known true universally quantified implication. Then = 2 x . , uses a known true uqi, specifically: c. For all numbers and and : if.
