CS 2305 Lecture 7: CS 2305 Lecture 7
Document Summary
Ex use the following premises t rules of inference to conclude that someone whohas passed the first exam has not readthe book. 1 a student in this class has not read the book. 2 everyone in this class passedthe first exam x is a student in this class xhasreadthe book x haspassedthe first exam. Theorem a statement that can be shown to be true. Lerma helpingtheorem or a result which is needed to provea theorem pretheorems corollary a result which follows directly from a theorem posttheorem. Proposition less important theorems conjecture a statement that is being proposed to be true onceit"sproven it becomes a theorem proof direct. Ex prove that this theorem is true if n is an odd integer then n is odd. 2k 1 2 4141 4k 21212 2k l. Ex directproof rational 95cb1 0 sun of two rational numbers is rational p a ts attentional. Ex contraposition if 3h12 isodd then n is odd.