What Will Exam 2 Be Like?

Here are the types of questions that will be on Exam 2. As with Exam 1, you will not be using Submit or the Grade Grinder at all for this exam. Also, there will not be any “nested” quantifiers of the kind that we are starting to study in Chapter 11. (Nested quantifiers are where one quantifier appears within the scope of another quantifier.) Note that the problems start at “I,” picking up where we left off at the end of Exam 1 on Problem H.

Take Home Portion

(Circulated by email on Friday, Nov. 9, due by the beginning of class on Monday, Nov. 12) 75 pts total.

Problem I. Here are four English sentences involving conditionals, biconditionals (but no quantifiers!). Translate them into FOL in a Tarski’s World sentence file. (20 pts)

Problem J. Here is a valid argument involving conditionals and/or biconditionals (but no quantifiers!). Construct a proof of it using Fitch. You will not be permitted to use any of the “Con” rules. (30 pts)

Problem K. Here are five English sentences involving conditionals, biconditionals, and/or quantifiers. Translate them into FOL in a Tarski’s World sentence file. (25 pts)

In-Class Portion

(Administered in class on Monday, Nov. 12) 175 pts total.

Problem L, part one. Here are four English sentences that might involve conditionals and/or biconditionals (but no quantifiers). Translate them into FOL in a Tarski’s World sentence file. (40 pts)

Problem L, part two. Here are four English sentences in FOL that might involve quantifiers and/or conditionals/biconditionals. Translate them into FOL in a Tarski’s World sentence file. (40 pts)

Problem M. Here is a valid argument or theorem involving conditionals and/or biconditionals. Construct a proof of it in Fitch. You will not need, and are not permitted to use, any of the “Con” rules. (50 pts)

Problem N. Here is an invalid argument with FOL sentences involving quantifiers (and/or conditionals/biconditionals). Construct a counterexample world in Tarski’s World. (30 pts)

Problem O. Short Answer Question(s) (15 pts)