Date: Wed, 22 Sep 2004 12:18:37 -0500 (CDT) <----- Fall 2004 note From: Mark Jacobson --------- To: 810-080-01@uni.edu, 810-080-02@uni.edu Subject: Exam One on Friday... TEST ONE TOPICS: 50% Section 1.2 Propositional Logic proofs <-- 45% in 2005 Spr 30% Section 2.1 Proofs involving divides, evens, odds 10% Section 1.1 Truth tables and basics 10% Section 1.3 Quantifiers, predicate logic 0% Section 2.2 Induction (will NOT be on test one). <-- See web page 5% ---- 5% in Spring 2005 100% See and use the class web page: http://www.cns.uni.edu/~jacobson/c080.html Know your mt, mp, contra, ds, DM, dn, sim, con, imp propositional logic rules. mt, mp, contra: modus tollens, modus ponens, contrapositive, ds, DM, dn: disjunctive syllogism, De Morgan's, double negative, sim, con, imp: simplification, conjunction, implication. dist and hs: distributive and hypothetical syllogism are not so important for test one. m divides n can also be written m | n and it means that n = km for some integer k n is even means n = 2p for some integer p ( 2 | n ) (2 divides n) n is odd means n = 2r + 1 for some integer r ( 2 | n )' or (not (2 | n)) or not(2 | n) not(m | n) or m does NOT divide n means n = km + r where k is some integer and r is the remainder you get when dividing n by m, r >= 1 and r < m when m does NOT divide n Example: (10 does NOT divide 86), 96 = 8*10 + 6 note that 6 >= 1 and 6 < 10 The non-zero remainder when you divide by 10 will always be greater than or equal to 1 and less than or equal to 9. See you on Friday. Mark