Quiz Instructions: Read the quiz instructions carefully BEFORE downloading the quiz.

Quizzes are downloaded from this page, and are returned via upload to Gradescope.
They should be worked in a single 15 minute time block.
You may not use notes, textbooks, or other resources. You may not receive help.

Quiz topics will be announced ahead of time on piazza.

Answers will be available on gradescope, and also available here in PDF format.

Quizzes (and answers) for download:

• Quiz 1 Thursday, September 30, 12:20pm thru Friday, October 1, 9:30am.
  Topic: translating English sentences to propositional formulas.
  Download quiz here. Also available in LaTeX. Answers are on gradescope and here in PDF format.
• Quiz 2 Tuesday, October 5, 12:20pm thru Wednesday, October 6, 9:30am.
  Topic: Tautologial equivalence and non-equivalence. Tautologies and satisfiability.
  Download quiz here. Also available in LaTeX. Answers are on gradescope and here in PDF format.
• Quiz 3 Thursday, October 7, 12:20pm thru Friday, October 8, 9:30am.
  Topic: DNF and CNF, Boolean function.
  Download quiz here. Also available in LaTeX. Answers are on gradescope and here in PDF format.
• Quiz 4 Tuesday, October 12, 12:20pm thru Wednesday, October 13, 9:30am.
  Topic: Infinite sets of the formulas, satisfiability and tautological implication.
  Download quiz here. Also available in LaTeX. Answers are on gradescope and here in PDF format.
• Quiz 5 Thursday, October 14, 12:20pm thru Wednesday, October 13, 10:30am.
  Topic: Explicit PL proofs
  Download quiz here. Also available in LaTeX. Answers are on gradescope and here in PDF format.
• Quiz 6 Tuesday, October 19, 12:20pm thru Wednesday, October 20, 9:30am.
  Proving the existence of PL proofs
  Download quiz here. Also available in LaTeX. Answers will be on gradescope and here in PDF format.
• Quiz 7 Thursday, October 26, 12:25pm thru Friday, October 29, 9:30am.
  Translating cat/dog problems from English to first-order logic.
  Download quiz here. Also available in LaTeX. Answers will be on gradescope and here in PDF format.
• Quiz 8 Tuesday, November 2, 12:25pm thru Wednesday, November 3, 9:30am.
  Translating cat/dog problems again. Syntax of formulas; free and bound variables.
  Download quiz here. Also available in LaTeX. Answers will be on gradescope and here in PDF format.
• Quiz 9 Thursday, November 4, 12:25pm thru Friday, November 5, 9:30am.
  Giving examples of structures.
  Download quiz here. Also available in LaTeX. Answers will be on gradescope and here in PDF format.
• Quiz 10 Tuesday, November 9, 12:25pm thru Wednesday, November 10, 9:30am.
  Tautological (non)implications with sets of formulas.
  Download quiz here. Also available in LaTeX. Answers will be on gradescope and here in PDF format.
• Quiz 11 Tuesday, November 16, 12:25pm thru Wednesday, November 17, 9:30am.
  Substitution, substitutability and alphabetic variants.
  Download quiz here. Also available in LaTeX. Answers will be on gradescope and here in PDF format.
• Quiz 12 Tuesday, November 30, 12:25pm thru Wednesday, December 1, 9:30am.
  Give an explicit FO proof.
  Download quiz here. Also available in LaTeX. Answers will be on gradescope and here in PDF format.
• Quiz 13 Thursday, December 1, 7:30pm thru Sunday, Decmeber 1, 12:00pm (Noon).
  Prove the existence of an FO proof.
  The second page is the "cheat sheet". Only the first page needs to handed in to gradescope.
  Download quiz here. Also available in LaTeX. Answers will be on gradescope and here in PDF format.