home—info—exams—archive
lect01a
intro; propositions
- 90=100
- logic needed to resolve (greek) arguments
http://cnx.org/content/m12727/latest/
- Three applications:
build circuits; type-checker; minesweeper
http://cnx.org/content/m10714/latest/
http://www.2flashgames.com/f/f-145.htm
- What's a proof?
http://cnx.org/content/m12072/latest/
Contrast with "enough info to persuade you" [watch-sun argument]
An argument by form; syllogism
Bad arguments by form: homer; warm-coke
- logic: a language for writing proofs (and, specs)
propositions: the vocabulary of our language.
http://cnx.org/content/m10715/latest/
(HoP example)
- connectives: and/or/not;implies;iff
"lunch money or else";
"the receiver gained 20yds if he gained an inch!"
(but perhaps s/he caught it out of bounds, upon replay)
Book: #1,5,11.
- make a truth table
- bitstrings
home—info—exams—archive
rad�ford.edu