Covered in lecture 8/24/04

Housekeeping

• new URL for CS
• partial syllabus
• useful URLs
• survey to be done
• lawyer problem
• background form
• attendance

Book Section 1.1

A. Propositional logic – statements which are true or false

B. Predicate logic - quantified (for all, there exists)

C. Logical connectives:

and (conjunction) – symbols – truth table - binary

or (disjunction) – symbols – truth table - binary

not (negation) – symbols – truth table - unary

implication – symbols – antecedent/consequent truth table - binary

equivalence – symbol – truth table – negation of exclusive or

D. Logical Properties (tautological equivalences)

associative

commutative

distributive

identity

complements

E. DeMorgan’s laws

F. Truth table size

2 possible values for each of x variables implies x² entries (rows)

can use Ts and Fs or can use 0s and 1s

(0 for false, 1 for true because false is less than true)

G. translating English into symbolic notation

2¹⁰ = 1,024