Symbolic Logic

Below, “fx ” refers to your textbook, forall x: Calgary Fall 2023 edition; chapters and page numbers refer to it, unless otherwise noted. “Exercises 2 (A)” or “Ex. 2(A)” means “part A of the exercises at the end of forall x Chapter 2.”

date topics read do note
Sep 6 1 Hi! nothing! nothing!
Sep 11 2–6 syllabus, fx ch. 1
Sep 13 7–9 fx ch. 2 ch. 2 exercises A&B1 validity handout
Sep 18 10–14 fx ch. 3 just read
Sep 20 15–20 fx ch. 4 true/false ex. (Gradescope)2
Sep 25 21–23 fx 5.0–5.3 and/or ex
Sep 27 23–28 fx 9 & 10 TFL symb ex conditional handout
Oct 2 28–30 fx 11 TFL-eng ex
Oct 4 first quiz, 30–31 fx 12 ex. 11(A)
Oct 9 32–34 fx 13, 14 ex. 11(A)
Oct 11 35–36 fx 16, 17.1–3 ex. 12(G,J)3
Oct 16 no class/Break 4
Oct 18 36–37 fx 17.4–5 Nat Ded w/CE
Oct 23 review fx 17.6 ND w/Bi
Oct 25 first/midterm test prepare
Oct 30 38 ND w/CI 1–10 RAA handout
Nov 1 39 fx 17.7 NDCI 11–25
Nov 6 40 fx 17.8 ex. 17(B,C)
Nov 8 40 fx 18 ex. 18(A)
Nov 13 41 ND w/DR 26–39
Nov 15 ND w/DR 40–505
Nov 20 42–44 fx 22 Ex Quant Ex 15–26, 1–10
Nov 22 no class/Break 4
Nov 27 45–47 fx 24.1 EEUQ 10–20,1–10 QA handout
Nov 29 47–52 fx 25 Quiz 2
Dec 4 53–55 fx 34 ex.25 TBA
Dec 6 55–56 fx 35 FOL ND w/AE,EI
Dec 11 58 fx 36 FOL ND2
Dec 13 no class-snow day
Dec 20 second/final test6 semester ends

  1. Where it says “explain why not,” for my purposes at least you don’t need to write that out; just think about it. ↩︎

  2. Access Gradescope through the course Canvas site. ↩︎

  3. Where the exercise asks you to test for being jointly “satisfiable,” test for being jointly possible. ↩︎

  4. per Hofstra Academic Calendar ↩︎ ↩︎

  5. For this assignment, try problems 40–50, but if you feel like these are too difficult for you, substitute in some of the earlier, lower-numbered ones from the set. 40–50 are good stretch/exercise problems, but the average level of difficulty is higher than will be on our test. Anyone who wants more practice can consider doing others from this set. Answers for this assignment are here↩︎

  6. See the Hofstra final exam schedule. The second test is scheduled for 8–10 AM in our regular classroom. I’m sorry it’s so early—not my choice. ↩︎