Introduction to Logic

Selmer Bringsjord
Animations || Handouts || Hyperproof Hall of Fame || Practice With Quantifiers || Latest Exam || Supporting Links

Animations

Hyperproof animations are something we've recently started tinkering with in the Minds & Machines Lab. For an animation designed to play a role in an under-construction problem regarding whether or not Bill Clinton will be impeached, click here to see Starr chasing Clinton in an attempt to prevent the Prez from serving out his second term (adjoining n1). A second animation corresponds to the dreaded Brady Bunch song and the Hyperproof problem "A Very Brady Problem" by Patrick Vitarius, in the Hyperproof Hall of Fame.

ch

Handouts

Hyperproof Hall of Fame

Practice With Quantifiers

Latest Exam

Final, Fall 2000 There are three problems on this exam (with one bonus problem), each from the LPL text (see below). You are to have one email sent directly from Grade Grinder to Krzysztof Marcin Kryszczuk kryszk@rpi.edu, which shows this trio (or quartet, as the case may be) of problems corrected by Grade Grinder. The email must come directly from the Grade Grinder. This email must be received before 12 midnight 12/13, 2000. The four problems are:
  1. Ex. 13.41, p. 361
  2. Ex. 13.49, p. 362
  3. Ex. 14.10, p. 377
  4. Bonus: Ex. 14.13, p. 377
Midterm, Fall 2000 There are four problems on this exam, each from the LPL text (see below). You are to have one email sent directly from Grade Grinder to Krzysztof Marcin Kryszczuk kryszk@rpi.edu, which shows this quartet of problems corrected by Grade Grinder. The email must come directly from the Grade Grinder. This email must be received before class on Monday, October 23, 2000. Class on Thursday October 19, 2000 will be devoted to a help session on material tested by these four problems. The four problems are:
  1. Ex. 8.53, p. 223
  2. Ex. 8.38, p. 213
  3. Ex. 7.17, p. 186
  4. Ex. 7.28, p. 195
Final, Summer 99 Due by 5pm Friday 6/25. (Last class 6/22; hope to see you there.) Slide disk under my door (3210 Sage). Note: These problems increase in difficulty. The last three are quite tricky; even the Barber Problem (9.49) is no cakewalk. Start at the first and work your way up. Do as many as possible. Maybe you'll be the first the first person to solve them all!
  1. Proof 9.39
  2. Proof 9.42
  3. Proof 9.33
  4. Proof 9.35
  5. Proof 9.49
  6. Proof 9.29
  7. Severed Dodecs (see Hyperproof Hall of Fame)
  8. The Dreadsbury Mansion Mystery (see Hyperproof Hall of Fame)
  9. What it Feels Like To Be a Cube (see Hyperproof Hall of Fame)
Midterm, Summer 99 Due start of class Tuesday 6/8. You will turn in a diskette w/ your solved problems on it. Note: These problems increase in difficulty. The last three are quite tricky Start at the first and work your way up. It is not necessary to solve all problems for an A, but you should try your best to get them all.
  1. Proof 6.31
  2. Proof 6.34
  3. Proof 6.36
  4. Proof 6.39
  5. Proof 6.41
  6. Create your own Hyperproof problem (can be done in group)
  7. Catching Colonel West (c. Hyperproof Hall of Fame)
Final, Summer 97 Due 5pm Friday 6/27. Slide disk under my door (3210 Sage). Note: These problems increase in difficulty. The last three are quite tricky; even the Barber Problem (9.49) is no cakewalk. Start at the first and work your way up.
  1. Proof 9.39
  2. Proof 9.42
  3. Proof 9.33
  4. Proof 9.35
  5. Proof 9.49
  6. Proof 9.29
  7. Severed Dodecs (c. Hyperproof Hall of Fame)
  8. The Dreadsbury Mansion Mystery (c. Hyperproof Hall of Fame)

Supporting Links