Homework Assignments - Philosophy 145

Page last updated: 10 Mar 2002 03:01 PM

For Tuesday, March 12

Exercise 2.5.2.  Sample proofs of the valid sequents are here.

 

For Thursday, March 7

Two mini-quizzes on the Quizmaster, chapter 2 supplemental T/F quiz on semantics

Ex. 2.4.2 xi - xx
Prove S76 – S86 (pp. 34-35 – derived rules OK)

 

For Tuesday, March 5

read 35; 44-47

Ex 2.2 (i to x) -- you can use ITTs if you want

Ex 2.4.2 (i to x)
Prove T33 – T39 (p. 37) using primitive rules only.  As I'm sure you realize, I would recommend that you use the Logic Daemon.

 

For Thursday, Feb. 28

Read pp. 39 – 45
Exercise 2.1 (p. 42)

 

For Tuesday, Feb. 19

Prove the following 11 sequents.  I warn you that some of them are pretty hard.  They are not pre-configured for use on the Proof Checker, but you should use the Logic Daemon.  If you would like to print them out in a Word document, you can download the file here.

  1. T v Q, R <-> T, Q -> S |- S v R

  2. P & (Q -> S), ~(S & T), R v T -> Q, R -> T v ~P |- ~R

  3. ~(P & ~Q), ~(Q & ~R) |- ~(P & ~R)

  4. (~T -> S) -> Q, S <-> P v R |- P -> Q v W

  5. (R <-> T) & ((S <-> Q) & (T <-> S)) |- R v Q -> R & Q

  6. P -> Q <-> T, ~R <-> ~T |- P -> Q <-> R

  7. P v Q -> T <-> R |- R -> (~T -> ~P & ~Q)

  8. (Q & P) & (R -> S), ~(P & S) |- ~R <-> Q

  9. P & ~T, ~R v Q, Q -> T |-  ~(P -> R) & ~Q

  10. ~(P v S), S <-> Q |- ~P & ~Q <-> ~S

  11. T -> S & Q, ~S v ~Q |- W -> ~T

Do the new symbolization worksheet.  Answers are here.

Optional: Do this practice worksheet as well.  Answers are here.

 

 

For Thursday, Feb. 14

Do the 12 sequents configured for use with the Proof Checker under Chapter One, More Practice.

Prove the following sequent:  S -> P v R, ~P v Q, ~T -> ~R |- S -> Q v T  (Even though this sequent is not pre-configured on the Proof Checker, you can (and should) use the Logic Daemon.)

For Tuesday, Feb. 12

Do exercise 1.4.1 in the book

Do the Friendly Symbolizations.

(Recommended, but not required)  Do exercise 1.4.2, especially if you feel you could use more practice with proofs like the "Simple Proofs" you did last time.  These proofs are not entered on the Proof Checker, but you still can (and should) do them on the Logic Daemon

Do the 15 sequents on the handout from class, available on the Proof Checker under "Chapter One, Intro to ->I and RAA proofs"

 

For Thursday, Feb. 7

Check your answers to the homework for Tuesday if you haven't already.
Read pp. 17 - 26 in the book.
Do the following 10 proofs.  It is strongly recommended that you do them on the Logic Daemon, by way of the Proof Checker.  Choose "Chapter One" and then "Simple Proofs."
  1. R -> P v Q, S & R, S -> ~Q |- P
  2. P & Q, P -> S, S -> T |- T & Q
  3. (P -> R) & (Q -> S v T), ~T & P, Q v ~R |- S
  4. P v R, ~P & S, R -> ~S v ~T |- ~T
  5. Q v R -> T v S, ~S & P, P -> Q |- T
  6. R & S <-> Q & T, T & Q |- S & R
  7. ~T <-> S, P -> ~T, R v P, ~R |- S
  8. P & (Q -> S), R -> (S -> Q), ~P v R |- S <-> Q
  9. Q & (T & S), Q & S -> P v R, T <-> ~R |- P
  10. P -> Q, P <-> R, R & T |- T & Q

 

For Tuesday, Feb. 5

Do the Logic of Baseball handout.

Do the Truth is Out There Symbolization worksheet, and check your answers

Check your answers to the Shagadelic Symbolizations

 

For Thursday, Jan. 31

Ex 1.3: 7-20
Do the handout of 25 practice symbolizations.

 

For Tuesday, Jan. 29

[note: the handout erroneously says Tuesday, Jan. 31]

Read 9 – 14

Ex 1.2.3

Ex 1.3: 1-6 (easy); 21-25 (harder)
Complete the exercise.

 

 

For Thursday, Jan. 24

read pp. 1-8

Ex. 1.1; 1.21 in the book
Ex 1.1 on the Quizmaster.  Do at least 10 questions about Validity and Soundness.  In later hw you can remain anonymous but this first time, you are required to sign in