Homework Assignments
Use of Plato on homework problems (in sets 1-3) is strongly encouraged.
2. LSF, pp. 42-43: Evaluate these problems using interpretations: 4, 9.
3. LSF, p. 27. Use truth tables to test whether #11 is valid, contingent or contradictory.
4. LSF, p. 51: 22, 25. Use truth tables to evaluate these arguments.
5. LSF, p. 63: 10.
6. LSF, pp. 66-67: 3, 13.
7. LSF. p. 68: 10.
HW #2: due Oct. 1 (New due date).
1. LSF. p. 89: 8, 11, 16, 22.
2. Translate the following English sentences, using this scheme of abbreviation:
slate the following English sentences, using this scheme of abbreviation.
Na: a is a natural number.
Lab: a is less than b
n: the empty set
Sa: ais a set.
Tab: a is a subset of b
Eab: a is a member of b
(a) Every natural number is less than some natural number.
(b) Anything that is a member of b is a subset of b.
(c) There is a natural number that is larger than every natural number.
(d) If one thing is a subset of another thing, then every member of the first is a member of the second.
3. LSF, p. 113: 23, 25.
HW #3: due
Oct. 8 (quantifier deduction)
1.LSF, p. 118: #56, 67.
2. LSF, pp. 121-122: #12, 19, 20, 21, 35.
HW #4: due Oct. 31 (sets)
Do informal proofs of each of the following.
1. LSF, p. 154: #5.
2. LSF, p. 159: #11.
3. LSF, pp. 160-161: #5., 19 [Note: for problem #19, you may add the assumption that set a has a member, i.e. there exists an x such that x belongs to a. ]
HW #5: due
Nov. 26 (functions, induction)
1. LSF, p. 203: 44. [Prove only the right-to-left direction.]
2. LSF, p. 208: #32.
3. LSF, p. 216: #3 [you may assume the results of problems #1 and #2 on the same page].
4. LSF, pp. 220-221: #3, 27.
Philosophy Department | UT Austin Web Central | Prof. Koons | Phl 313K