1. Tuesday email note, with a simple implication A implies B involving even numbers like 2, 4, 6, 8, discrete we sure appreciate...

2. Class #1 review, class #2 and class #3 PREview. Truth tables, AND, OR, NOT, disjuncts, conjuncts, De Morgan's laws, implications, etc.

3. Review outline of section 1.1 on Statements, Symbolic Representation, and Tautologies.

   VIP: (REVIEW FOR all THREE MWF first week classes).

Negation of an Implication means use the implication rule first, then use DM (De Morgan's).

• My Client is Innocent proof from WEDNESDAY classes and textbook.
• Another version of My Client is Innocent proof.
• Fall 2003 Email note showing a shorter proof because it refers to a previously proven result, called antcon1 Rule of Inference or Theorem. (New: antcon1 Rule???)

Read Section 1.3: Quantifiers, Predicates, and Validity

VIP: Assignments for Wednesday and next MONDAY

Preview/Review: Prove the sum of an even and an odd integer is ODD, started on Monday, September 11th.

Interactive, self-grading practice QUIZ.

Old Exams and Quizzes to use for practice and review.

Study session from Fall 2002 Review Session would be great Practice for Test #1, especially the mt, mp, imp, DM, ds, contra, dn, dist, comm, sim, con rules (equivalences and inferences).

TEST ONE FRIDAY...

REVIEW SESSION
for TEST ONE
5 p.m. Tuesday
in our classroom (ITT 27)

TEST ONE TOPICS:
   45%  1.2 Propositional Logic proofs
   30%  2.1 Proofs involving divides, evens, odds
   10%  1.1 Truth tables and basics
   10%  1.3 Quantifiers, predicate logic
    5%  2.2 Induction proof concepts, terminology and patterns,
  ----      possibly true/false, fill in blank or matching.
  100%              You will not have to DO a inductive proof.