Formal Logic

Home > Formal Logic Home > Homework

Current Homework

HW#10 Due in my office (307 CLA) Mon, 14 Dec, by 2pm.
Click here for HW#10.


Past Homework

  • HW#9 Due in class Mon, 7 Dec
    Set 10.3E (586-588): #1d, #2d, #3d
    Set 10.4E (604-607): #2b, d

  • HW#8 Due in class Mon, 23 Nov
    Set 10.2E (580-583): #1d, j, n; #5h; #6f
    Additional Directions: You are welcome to use the PD+ rule QN on any of these problems.

  • HW#7 Due in class Mon, 9 Nov
    Set 8.3E (402-03): #1h
    Set 8.4E (406-09): #1d, #2f
    Set 8.6E (440-41): #4b, #5d
    Additional Directions: Solve these problems with small, numerical domains and verify your interpretations with semantic trees.

  • HW#6 Due in class Mon, 2 Nov
    Set 7.8E (355-58): #1f, l;
    Set 7.9E (375-77): #1d, h; #4d
    Additional Directions: Don't treat #1l in 7.8E as a definite description problem.

  • HW#5 Due in class Mon, 26 Oct
    Set 7.3E (287-90): #2d, h, l;
    Set 7.4E (296-7): #1d, j

  • HW#4 Due in class Mon, 12 Oct
    Set 5.3E (223-227): #2d; #3n; #6d; #7h; #8b.

  • HW#3 Due in class Mon, 5 Oct
    Click here for HW#3.

  • HW#2 Due in class Mon, 29 Sep
    Set 3.2E (92-93): #1j
    Set 3.3E (96-97): #1b
    Set 3.4E (100-101): #1f
    Set 3.5E (107-111): #1d; #2b
    Additional Directions: (i) Construct full, standard-form truth-tables for each problem, and (ii) in Set 3.5E, if an argument is invalid, identify at least one counterexample.

  • HW#1 Due in class Mon, 21 Sep
    Directions: Symbolize the following sentences in SL using the scheme of abbreviations provided. These problems are like the ones in 2.1E (48-49) and 2.2E (58-59).

    A: Art will go skiing.
    B: Bertie will go skiing.
    C: Carl will go skiing.
    S: It is snowing.

    1. Art, Bertie and Carl will all go skiing.
    2. Art will go skiing only if Bertie doesn't go.
    3. If neither Carl nor Bertie goes skiing, then Art won't go.
    4. They won't all go skiing.
    5. Carl won't go skiing unless exactly one of the other two goes and it is snowing.


Page URL: http://vault.hanover.edu/~bates/logic/homework.htm
Copyright: 2006-15 Jared Bates
Last Modified: 9 December 2015
Page Author: Jared Bates