## PHL111 Valid Reasoning, Past Assignments

Past Assignments

August 27Read chapter 1 ofA Concise Introduction to Logic. Answer the four questions on Angel. To do this, log into your Angel account, select PHL111 from your courses, and click on the tab forLearning Modules. You'll see the "Chapter 1 questions" link there. Answer the questions before class.

While in Angel, and after selecting PHL111, click on the "Communicate" link to the left, or the "Communicate" tab above. You'll see a page where there is a block you can click to register your Clicker.

FYI, here are the two card examples. See if you agree that their structure is the same. Why do most people find the second easier, and the first harder?

September 3Read chapter 2 ofA Concise Introduction to Logic. Before class starts, answer the four questions on Angel.

To answer the questions in Angel, log into your Angel account, select PHL111 from your courses, and click on the tab forLearning Modules. You'll see the "Chapter 2 questions" link there. Answer the questions before class.

You are not expected to answer the questions in the reading! Soon I'll post a homework for Friday, and that will have questions from the reading.

While in Angel, and after selecting PHL111, click on the "Communicate" link to the left, or the "Communicate" tab above. You'll see a page where there is a block you can click to register your Clicker.

Some have asked about past reading assignments. Reading questions become available when the homework is assigned, and become unavailable 10 minutes before the class they are due.

September 5Homework 1:please do problems 4 and 5 of chapter 2 in the textbook. These are translations, to practice moving from English to our logical language. Hand them in at the beginning of class on Friday.

A few people asked me about translation keys. We've done examples in class, and there is one in the book, but here's the idea. By "translation key" we mean a translation from English to our logical language. Suppose we wanted to translate the sentence:If Spongebob lives in Bikini Bottom, then Spongebob pays no property taxes.You might have a key that includes the following:And then if you translated the sentence you would have:..............Propositional LogicEnglish

P: Spongebob lives in Bikini Bottom

Q: Spongebob pays no property taxes

(P --> Q)Someone would be able to use your key to determine how to translate your logical sentence back into an English sentence.

So, for this homework, for the problem where you have to supply your own key, you'll write one answer key, which will have a column of atomic English sentences, and beside it a column of atomic logic sentences (P, Q, R....).

Reading:Read chapter 3 ofA Concise Introduction to Logic. Before class starts, answer the questions on Angel.

To answer the questions in Angel, log into your Angel account, select PHL111 from your courses, and click on the tab forLearning Modules. You'll see the "Chapter 2 questions" link there. Answer the questions before class.

September 10Read chapter 4 ofA Concise Introduction to Logic. Before class starts, answer the questions on Angel.

September 12Homework 2:Please do problems 1a, 1b, 1c, 2a, 2b, and 2c from chapter 3 of the textbook and do problem 1 from chapter 4 of the textbook. Hand them in at the beginning of class on Friday.

If you want to see a different view of arguments, check into the argument clinic.

September 15Read chapter 5 of the text. Answer the questions on Angel.

September 19I was asked about a way to post the rules in one place. A preliminary version of chapter 13 is now online (it's preliminary because the truth tables are in a form not quite like we usually draw them). It has a summary of the entire language. There is stuff there we've not studied yet, but it still might be a handy reference.

Quiz #1. The first half of the quiz you will complete by yourself. You will have 25 minutes. We will stop abruptly at 25 minutes. The second half of the quiz you will complete with the other people sitting in your row. You will have 30 minutes.

Counting from the front of the room (the row closest to the board is 1) to the back (the row farthest from the board is 12), the seating assignments are:Ardila Sebastian 1Here is the seating list alphabetical:

Clegg Erin 1

Desiderio Matthew 1

Fioramonti Eileen 1

Hook Stephen 1

Jean Dimitri 1

Williams Christina 1

Bartlett Maclain 2

Bullard Derek 2

Davis Akeem 2

Fentzke Joseph 2

Hussain Zeshan 2

Rogers Miller Seth 2

Tantillo Sienna 2

Jacobbi Kaitlin 3

Muncy Brianna 3

Peffer Kyan 3

Piskutz Thaddeus 3

Schwinger Alyssa 3

Tinker Kaleigh 3

Boutelle Howard 4

Corrao Alexandra 4

Denise Dallas 4

Lara Jesus 4

Lyding Dana 4

Moriarty Devin 4

Sandford Lauren 4

Beshures Chelsea 5

Haran John 5

Montalbano Dean 5

Nasta Alexis 5

Niebling Jennifer 5

Sharrow Jenna 5

Stilson Samantha 5

Andreula Angelo 6

Bogaski Shannon 6

Burgess Kyle 6

Jansing Alexander 6

Laws Scot 6

Ong Samantha 6

Romeo Jacqueline 6

Ardila Dylan 7

Chung Angelique 7

Gavigan Jason 7

Knauer Quinn 7

Kuznetsova Viktoriya 7

Mulero Tiffany 7

Yu Cynthia 7

Ladd Brandon 8

Lenihan Shane 8

McGlynn John 8

Moran Allison 8

Reilly Lucas 8

Towne Kaela 8

Wilson Colin 8

Collard Joel 9

Mccormick David 9

Mill Christina 9

Milton Camille 9

Pittari Nicholas 9

Vatore Kaylee 9

Viniski Miles 9

Barcus Morgan 10

Belgrave Jarrod 10

Bockhahn Jennifer 10

Hiatt Ashley 10

Kossmann John 10

Mcquade Rachel 10

Peralta Mia 10

Bulriss Miranda 11

Bush Madison 11

Caswell Robert 11

Chirico Paul 11

Goh Lillian 11

Odell Austin 11

Bamgbelu Kolawole 12

Baptiste James 12

Everly Alyssa 12

Kiggins Megan 12

Labonte Melissa 12

Wood Destiny 12

Andreula Angelo 6

Ardila Sebastian 1

Ardila Dylan 7

Bamgbelu Kolawole 12

Baptiste James 12

Barcus Morgan 10

Bartlett Maclain 2

Belgrave Jarrod 10

Beshures Chelsea 5

Bockhahn Jennifer 10

Bogaski Shannon 6

Boutelle Howard 4

Bullard Derek 2

Bulriss Miranda 11

Burgess Kyle 6

Bush Madison 11

Caswell Robert 11

Chirico Paul 11

Chung Angelique 7

Clegg Erin 1

Collard Joel 9

Corrao Alexandra 4

Davis Akeem 2

Denise Dallas 4

Desiderio Matthew 1

Everly Alyssa 12

Fentzke Joseph 2

Fioramonti Eileen 1

Gavigan Jason 7

Goh Lillian 11

Haran John 5

Hiatt Ashley 10

Hook Stephen 1

Hussain Zeshan 2

Jacobbi Kaitlin 3

Jansing Alexander 6

Jean Dimitri 1

Kiggins Megan 12

Knauer Quinn 7

Kossmann John 10

Kuznetsova Viktoriya 7

Labonte Melissa 12

Ladd Brandon 8

Lara Jesus 4

Laws Scot 6

Lenihan Shane 8

Lyding Dana 4

Mccormick David 9

McGlynn John 8

Mcquade Rachel 10

Mill Christina 9

Milton Camille 9

Montalbano Dean 5

Moran Allison 8

Moriarty Devin 4

Mulero Tiffany 7

Muncy Brianna 3

Nasta Alexis 5

Niebling Jennifer 5

Odell Austin 11

Ong Samantha 6

Peffer Kyan 3

Peralta Mia 10

Piskutz Thaddeus 3

Pittari Nicholas 9

Reilly Lucas 8

Rogers Miller Seth 2

Romeo Jacqueline 6

Sandford Lauren 4

Schwinger Alyssa 3

Sharrow Jenna 5

Stilson Samantha 5

Tantillo Sienna 2

Tinker Kaleigh 3

Towne Kaela 8

Vatore Kaylee 9

Viniski Miles 9

Williams Christina 1

Wilson Colin 8

Wood Destiny 12

Yu Cynthia 7

September 22Read chapter 6 before class. There are a few questions on Angel about the chapter, and about the quiz. The quiz grades should be available in your Angel account.

September 24Today only, my office hours are 1-2 p.m. Sorry, but I have a meetings 2-5 and could not fix the conflict.

Read chapter 7. There won't be any questions about this chapter online, though I will ask you questions about it in the next set of reading questions.

Please note: before now, I've only counted clicker questions for effort (you got credit no matter what your answer). From here on, since we have done so well on our first quiz, and have made a lot of progress, I'll count the clicker questions for their correctness when there is a correct answer.

October 1Homework 3: Do problems 1, 2, 3, and 4 from chapter 7 of the textbook. (The questions are at the end of the chapter! You may need to look at the lastest version of the chapter.) Note that problems 3 and 4 have three parts. Some of these problem are more challenging than you have seen so far.

October 3Read chapter 8 ofA Concise Introduction to Logic. Answer the problems on Angel.

October 10Homework 4:I'll be out of town. Complete the following assignment, during class, working with your group. (Print it and bring it to class.)

Between 10:10 and 11:00 a.m. you can hand in 1 copy of the homework for your team, in the philosophy department office. Drop one and only one completed copy for your group. The philosophy department is MCC 212.

Look below to find which group is yours. Meet in your row, to make things easy.

October 13Quiz 2. The structure will be the same, and the groups will be the same, as for quiz 1. (More than 90% of you requested the same structure. We may change groups for the later quizes.) Material will include: semantics, syntax, and inferences rules for negation, conditional, conjunction, disjunctions; definition of valid argument, sound argument, tautology, theorem; direct proofs and conditional proofs; translations using all our connectives.

The first half of the quiz you will complete by yourself. You will have 20 minutes. We will stop abruptly at 20 minutes. The second half of the quiz you will complete with the other people sitting in your row. You will have 35 minutes.

Counting from the front of the room (the row closest to the board is 1) to the back (the row farthest from the board is 12), the seating assignments are:Ardila Sebastian 1

Clegg Erin 1

Desiderio Matthew 1

Fioramonti Eileen 1

Hook Stephen 1

Jean Dimitri 1

Williams Christina 1

Bartlett Maclain 2

Bullard Derek 2

Davis Akeem 2

Fentzke Joseph 2

Hussain Zeshan 2

Rogers Miller Seth 2

Tantillo Sienna 2

Jacobbi Kaitlin 3

Muncy Brianna 3

Peffer Kyan 3

Piskutz Thaddeus 3

Schwinger Alyssa 3

Tinker Kaleigh 3

Boutelle Howard 4

Corrao Alexandra 4

Denise Dallas 4

Lara Jesus 4

Lyding Dana 4

Moriarty Devin 4

Sandford Lauren 4

Beshures Chelsea 5

Haran John 5

Montalbano Dean 5

Nasta Alexis 5

Niebling Jennifer 5

Sharrow Jenna 5

Stilson Samantha 5

Andreula Angelo 6

Bogaski Shannon 6

Burgess Kyle 6

Jansing Alexander 6

Laws Scot 6

Ong Samantha 6

Romeo Jacqueline 6

Ardila Dylan 7

Chung Angelique 7

Gavigan Jason 7

Knauer Quinn 7

Kuznetsova Viktoriya 7

Mulero Tiffany 7

Yu Cynthia 7

Ladd Brandon 8

Lenihan Shane 8

McGlynn John 8

Moran Allison 8

Reilly Lucas 8

Towne Kaela 8

Wilson Colin 8

Collard Joel 9

Mccormick David 9

Mill Christina 9

Milton Camille 9

Pittari Nicholas 9

Vatore Kaylee 9

Viniski Miles 9

Barcus Morgan 10

Belgrave Jarrod 10

Bockhahn Jennifer 10

Hiatt Ashley 10

Kossmann John 10

Mcquade Rachel 10

Peralta Mia 10

Bulriss Miranda 11

Bush Madison 11

Caswell Robert 11

Chirico Paul 11

Goh Lillian 11

Odell Austin 11

Bamgbelu Kolawole 12

Baptiste James 12

Everly Alyssa 12

Kiggins Megan 12

Labonte Melissa 12

Wood Destiny 12

Here is the seating list alphabetically:Andreula Angelo 6

Ardila Sebastian 1

Ardila Dylan 7

Bamgbelu Kolawole 12

Baptiste James 12

Barcus Morgan 10

Bartlett Maclain 2

Belgrave Jarrod 10

Beshures Chelsea 5

Bockhahn Jennifer 10

Bogaski Shannon 6

Boutelle Howard 4

Bullard Derek 2

Bulriss Miranda 11

Burgess Kyle 6

Bush Madison 11

Caswell Robert 11

Chirico Paul 11

Chung Angelique 7

Clegg Erin 1

Collard Joel 9

Corrao Alexandra 4

Davis Akeem 2

Denise Dallas 4

Desiderio Matthew 1

Everly Alyssa 12

Fentzke Joseph 2

Fioramonti Eileen 1

Gavigan Jason 7

Goh Lillian 11

Haran John 5

Hiatt Ashley 10

Hook Stephen 1

Hussain Zeshan 2

Jacobbi Kaitlin 3

Jansing Alexander 6

Jean Dimitri 1

Kiggins Megan 12

Knauer Quinn 7

Kossmann John 10

Kuznetsova Viktoriya 7

Labonte Melissa 12

Ladd Brandon 8

Lara Jesus 4

Laws Scot 6

Lenihan Shane 8

Lyding Dana 4

Mccormick David 9

McGlynn John 8

Mcquade Rachel 10

Mill Christina 9

Milton Camille 9

Montalbano Dean 5

Moran Allison 8

Moriarty Devin 4

Mulero Tiffany 7

Muncy Brianna 3

Nasta Alexis 5

Niebling Jennifer 5

Odell Austin 11

Ong Samantha 6

Peffer Kyan 3

Peralta Mia 10

Piskutz Thaddeus 3

Pittari Nicholas 9

Reilly Lucas 8

Rogers Miller Seth 2

Romeo Jacqueline 6

Sandford Lauren 4

Schwinger Alyssa 3

Sharrow Jenna 5

Stilson Samantha 5

Tantillo Sienna 2

Tinker Kaleigh 3

Towne Kaela 8

Vatore Kaylee 9

Viniski Miles 9

Williams Christina 1

Wilson Colin 8

Wood Destiny 12

Yu Cynthia 7

October 15Homework 5:due at the beginning of class. Do problems 1 and 2 (each has three parts) of chapter 8.

October 20Read chapter 9 of the book. Answer the questions on Angel.

CHANGE TO OFFICE HOURS:today only (October 20th) I have a conflicting meeting and can't be in my usual office hours of 1:30-3:00. If you need to see me, send me an email and I can meet you at 8, 11, or 3.

October 22Homework 6: do the proofs for problems 1 and 2 of chapter 9 of the book. The proofs for problem 2 are hard, so think of them as extra credit. Do your best! (NOTE:there was a mistake in the previous version of the chapter, where the problems were misnumbered. That's fixed now. If in doubt, check the latest version of the chapter online.)

October 27Read chapter 13 ofA Concise introduction to logic.

Homework 7: do problem 1 of chapter 13 of the book.

HINT: I was asked about phrases like "... is a male poriferan." You could treat that as one predicte, but consider: something can be male and not a poriferan; and something can be a poriferan and not male; so why not treat them as two predicates? That is, would you agree that "x is a male poriferan" is equivalent to "x is male and x is poriferan"?

October 31Don't forget your clickers! I've been lecturing a bunch, to try to catch up a little, but we're caught up and I want to give you a chance to share your thoughts -- using the clickers -- on these quantifiers thingies.

Redo of homework 6 due. If you do it and hand it in on October 31, the score can replace your homework 6 score.As requested, here are some hints.

- Premises: (P ↔ Q), (P ↔ S). Conclusion: (P ↔ (Q ∧ S)).
- Premises: (P v Q), (P ↔ S), (Q ↔ S). Conclusion: S.
- Premises: ¬(P → Q). Conclusion: ¬(P ↔ Q).
- Conclusion: (((P ↔ Q) ∧ (Q ↔ S)) → (P ↔ S))
- Conclusion: (¬(P ∧ Q) ↔ (¬P v ¬Q))
- Conclusion: ¬(P ↔ ¬P)
Hint 1Problem 5 is hard. One direction is not challenging: showing ((¬P v ¬Q) → ¬(P ∧ Q)) is easier. But showing (¬(P ∧ Q) → (¬P v ¬Q)) is challenging. Here's a hint. You'll assume ¬(P ∧ Q) to show (¬P v ¬Q)). Do an indirect derivation, and show (P ∧ Q) by showing P (with an indirect derivation) and Q (with an indirect derivation), and put them together with adjunction. That contradicts your ACD!Hint 2You'll surely do an indirect derivation of 6. That means you'll have (P ↔ ¬P). That's clearly contradictory, but how do we make this explicit? Try to prove P and then to prove ¬P.

November 3Homework 8.Please translate the following sentences. Provide one key. Use quantifiers, of course. Some of these sentences are obviously false! Don't let that bother you. Assume your domain of discourse is animals.For these, you will use the eight common translation forms, reviewed both in the book in chapter 14, and in class on 31 October.

- Everything is an ocelot.
- Nothing is an ocelot.
- Some ocelots are mammals.
- All mammals are ocelots.
- No ocelot is black.
- Some yellow ocelots are carnivorous mammals.
- All green frogs are amphibians.
- Some frogs are green and yellow.
- Something is a green frog.
- Nothing is a green ocelot.

November 7Quiz three. Topics include: all possible proof forms for the propositional logic. Meaning of: valid argument, theorem, tautology. Translations using predicates, names, quantifiers. The eight most common forms of quantifier phrases.

The format will be the same as for the other quizes, but the teams are new. These are listed below. I want to suggest that teams sit as best they can in a circle, and that they work together on each problem. If someone in the group refuses to work with the others -- this happened on only one team, but let us be prepared for it -- then the others should tell that person to hand in his or her own work, with his or her name alone on the work, and the rest can proceed without that person. I would not penalize anyone for this; I would just grade them as is. I might penalize a team that kicked someone out who didn't want to go, of course; but that's different!

Here is your teams, and your sitting row, listed by row/team:Bullard, Derek 1Here is the list alphabetical:

Ardila, Dylan 1

Montalbano, Dean 1

Fioramonti, Eileen 1

Williams, Christina 1

Mill, Christina 1

Haran, John 2

Mcquade, Rachel 2

Kuznetsova, Viktoriya 2

Stilson, Samantha 2

Milton, Camille 2

Andreula, Angelo 2

Collard, Joel 3

Boutelle, Howard 3

Yu, Cynthia 3

Niebling, Jennifer 3

Laws, Scot 3

Jansing, Alexander 3

Wood, Destiny 4

Tinker, Kaleigh 4

Clegg, Erin 4

Baptiste, James 4

Bogaski, Shannon 4

Chirico, Paul 4

Reilly, Lucas 5

Everly, Alyssa 5

Bush, Madison 5

Towne, Kaela 5

Rogers Miller, Seth 5

Kiggins, Megan 5

Caswell, Robert 6

Pittari, Nicholas 6

Hiatt, Ashley 6

Chung, Angelique 6

Kossmann, John 6

Desiderio, Matthew 6

Corrao, Alexandra 7

Sandford, Lauren 7

Gavigan, Jason 7

Davis, Akeem 7

Vatore, Kaylee 7

Lenihan, Shane 7

Jacobbi, Kaitlin 8

Beshures, Chelsea 8

Hook, Stephen 8

Lyding, Dana 8

Ong, Samantha 8

Denise, Dallas 8

Lara, Jesus 9

Tantillo, Sienna 9

Jean, Dimitri 9

Fentzke, Joseph 9

McGlynn, John 9

Viniski, Miles 9

Burgess, Kyle 10

Labonte, Melissa 10

Moran, Allison 10

Ladd, Brandon 10

Ardila, Sebastian 10

Muncy, Brianna 10

Hussain, Zeshan 11

Mccormick, David 11

Odell, Austin 11

Peralta, Mia 11

Piskutz, Thaddeus 11

Barcus, Morgan 11

Romeo, Jacqueline 12

Bamgbelu, Kolawole 12

Bockhahn, Jennifer 12

Goh, Lillian 12

Moriarty, Devin 12

Schwinger, Alyssa 12

Andreula, Angelo 2

Ardila, Dylan 1

Ardila, Sebastian 10

Bamgbelu, Kolawole 12

Baptiste, James 4

Barcus, Morgan 11

Beshures, Chelsea 8

Bockhahn, Jennifer 12

Bogaski, Shannon 4

Boutelle, Howard 3

Bullard, Derek 1

Burgess, Kyle 10

Bush, Madison 5

Caswell, Robert 6

Chirico, Paul 4

Chung, Angelique 6

Clegg, Erin 4

Collard, Joel 3

Corrao, Alexandra 7

Davis, Akeem 7

Denise, Dallas 8

Desiderio, Matthew 6

Everly, Alyssa 5

Fentzke, Joseph 9

Fioramonti, Eileen 1

Gavigan, Jason 7

Goh, Lillian 12

Haran, John 2

Hiatt, Ashley 6

Hook, Stephen 8

Hussain, Zeshan 11

Jacobbi, Kaitlin 8

Jansing, Alexander 3

Jean, Dimitri 9

Kiggins, Megan 5

Kossmann, John 6

Kuznetsova, Viktoriya 2

Labonte, Melissa 10

Ladd, Brandon 10

Lara, Jesus 9

Laws, Scot 3

Lenihan, Shane 7

Lyding, Dana 8

Mccormick, David 11

McGlynn, John 9

Mcquade, Rachel 2

Mill, Christina 1

Milton, Camille 2

Montalbano, Dean 1

Moran, Allison 10

Moriarty, Devin 12

Muncy, Brianna 10

Niebling, Jennifer 3

Odell, Austin 11

Ong, Samantha 8

Peralta, Mia 11

Piskutz, Thaddeus 11

Pittari, Nicholas 6

Reilly, Lucas 5

Rogers Miller, Seth 5

Romeo, Jacqueline 12

Sandford, Lauren 7

Schwinger, Alyssa 12

Stilson, Samantha 2

Tantillo, Sienna 9

Tinker, Kaleigh 4

Towne, Kaela 5

Vatore, Kaylee 7

Viniski, Miles 9

Williams, Christina 1

Wood, Destiny 4

Yu, Cynthia 3

12 NovemberPlease read chapter 14 of our textbook.

Please note: there had been a typo in my list of tests below. Our final exam is in our class room, on Wednesday December 10, 8:00 a.m. to 10:00 a.m. You will take the exam alone -- no teams for the test.

Quiz 4 is coming up quickly. Here is what I'd like to do: have the quiz be a take home, in stages, that the teams do together. Is that acceptable? The advantage of take home is that we can do something more fun. The disadvantage is that you must somehow find time when your whole team can meet. We can dedicate some class time to letting teams work, if you like. Let me know if this sounds like a bad idea or a good idea, or if you have any concerns or suggestions. We can also make the final part of it due on the 24th, if that helps.November 19This Wednesday only: my office hours are 1:00 -- 2:30 p.m. (I have a meeting at 2:30.) Please make a note of this. I can also meet some times on Thursday if anyone needs to see me then.

Complete the following proofs.

- Premises: ∀x(Fx → Gx), Fa, Fb. Conclusion: (Ga ^ Gb).
- Premises: ∀x(Hx ↔ Fx), ¬Fc. Conclusion: ¬Hc.
- Premises: ∀x(Gx v Hx), ¬Hb. Conclusion: Gb.
- Premises: ∀x(Fx → Gx), ∀x(Gx → Hx). Conclusion: (Fa → Ha).
- Premises: ∀x(Gx v Ix), ∀x(Gx → Jx), ∀x(Ix → Jx). Conclusion: Jb.
- Premises: ∀x(Fx ↔ Gx), Gd. Conclusion: ∃x(Gx ^ Fx).
- Premises: ∃x(Gx ^ Fx), ∀x(Fx ↔ Hx), ∀x(¬Gx v Jx). Conclusion: ∃x(Hx ^ Jx).
- Conclusion: (∀x(Fx → Gx) → (∃xFx → ∃xGx))

November 21, 23Here is part 1 of quiz four.

A note about the quiz. You can tell me who you ruled out, and that's OK, but also if you like to be thorough you can use MTP to rule out some of the suspects. A special note. I'll let you do MTP on any disjunct in a big disjunction. This is kind of leaping ahead, but it is OK. So, you can do MTP with ¬P and ((P v Q) v (R v S)) and get (Q v (R v S)); or do MTP with ¬R and ((P v Q) v (R v S)) and get ((P v Q) v S); and so on. That stretches our rule a bit, but works out OK.

Here is the list of teams.

Work on the quiz on your own over the weekend. Then, on Monday, teams can work together for part of our class. Your team will be the same team as we had for quiz 3. On Monday, let's sit in our assigned rows, just to make things easier.

If you're not here Monday, and what is here from your team finishes the quiz on Monday, you'll have to finish the quiz part 1 on your own.December 3Here is the entirety of Quiz 4.

Note: if your team went ahead without you, perhaps because you were absent, no worry. Just finish the quiz by yourself and hand it in to me. If you are uncertain, look online at Angel. I've been putting in scores as I get them. If you have no score for Quiz 4 part 1 or part 2, then you should not wait for your team but go ahead and complete it on your own as soon as you can.

Homework 10 due.This homework has 10 problems.

For the first three problems, complete the proof. You will need to use universal derivation in these proofs.

- Premises: ∀x(Fx ↔ Hx), ∀y(Hy ↔ Gy). Conclusion: ∀z(Fz ↔ Gz).
- Conclusion: (∀x(¬Fx v Gx) → ∀x(Fx → Gx))
- Conclusion: (∀xFx ↔ ¬∃x¬Fx)

For these three problems, create an informal model that shows the argument is obviously invalid.

- Premises: ∀x(Fx → Gx), ¬Ga. Conclusion: ¬Fb.
- Premises: ∀x(Fx v Gx), ¬Fa. Conclusion: Gb.
- Premises: ∀x(Fx → Gx), ∃xFx. Conclusion: Gc.

For these last four problems, let's try something new. You've learned to test arguments for validity. But can you create your own valid arguments? Use your logic skills to write arguments. Try to write about your field of study: if you are a management major, illustrate some important argument in management; and so on.

- Write a valid argument in everday English that has at least two premises. One of the premises must be a conditional.
- Write a valid argument in everday English that has at least two premises. One of the premises must be a disjunction.
- Write a valid argument in everday English that has at least two premises. One of the premises must be a universal claim (such as, "all F are G").
- Write a valid argument in everday English that has at least two premises. One of the premises must be an existential claim (such as, "something is an F").
December 5All outstanding parts of Quiz 4 will be due at the beginning of class. We'll review the homework.

Please note the following. I think you'll be hard pressed to prove Part 2, if you translate "the killer had type O blood" by introducing a new name for "the killer." The point of the claim is thatwhoeverkilled Professor Plum had type O blood. So consider that sentence as equivalent to: "Whoever killed Professor Plum had type O blood" and you won't get stuck.