Day 4:
mat385
Last time
: section 1.2 (Propositional Logic)
Next time
: section 1.4
Today:
Announcements
Your first homework (for section 1.1) is due today.
I've begun putting the
class notes on the web
Last time: Section 1.2 (
pdf
): Propositional Logic
Let's look at an example using English sentences before we leave the section for 1.2
General questions over
1.2
, or the homework?
Today: section 1.3 (
highlights: (Quantifiers, Predicates, and Validity)
)
Website maintained by
Andy Long
. Comments appreciated.