# What Will Exam 1 Be Like?

## Logic 102

Below is a list of the sections/types of questions that will be on Exam 1 next week in Philosophy 102.

Any question or concerns? Don’t hesitate to ask!

Mark

# Take-Home Portion: **75 pts total**

Given out Wednesday (October 4), due by the beginning of class on Friday (October 6). No collaboration with other students or help from tutor/instructor permitted.

Here’s a sentence. Construct a truth table for it in Boole. Is it TT-necessary? Is it TT-possible? (You won’t need to say whether it’s TT-contradictory) **13pts**

Here are 5 FOL sentences. Place each in the Euler Diagram of Necessity. **25 pts**

Here is a valid argument, along with a “starter” Fitch file. Construct a proof of it. **25 pts**

Two short answer questions **12pts**

# In-Class Portion: **175 pts total**

Administered Friday, October 6, in class (naturally). No collaboration with other students or help from tutor/instructor permitted.

Here are 5 English sentences. Translate them into FOL in a Tarski’s World sentence file. **50pts**

Here is an argument. Construct a truth table for it. Answer, in writing: Is this argument TT-valid or TT-Invalid? Justify your answer by pointing out features of the truth table you created. **25pts**

Here is a valid argument (or a theorem), along with a “starter” Fitch file. Construct a proof of it. **50pts**

Here is an argument. Is it valid or invalid? If it’s valid, construct a proof of it from this “starter” Fitch file. If it’s invalid, construct a counterexample world in Tarski’s World. **50 pts**