solutions for hw 7 (Dec. 14, 2016) [pdf]
solutions for midterm 2 (Dec. 14, 2016) [pdf]
notes on fol, vi - truth (Dec. 1, 2016) [pdf]
solutions for hw 6 (Nov. 25, 2016) [pdf]
solutions for hw 5 (Nov. 25, 2016) [pdf]
notes on fol, v - more translation (Nov. 24, 2016) [pdf]
notes on fol, iii - syntax (Nov. 11, 2016) [pdf]
notes on fol, iv - translating into english (Nov. 11, 2016) [pdf]
notes on fol, ii (Nov. 4, 2016) [pdf]
intro to first-order logic (Nov. 3, 2016) [pdf]
solutions for mt 1 (Oct. 30, 2016) [pdf]
solutions for hw 4 (Oct. 18, 2016) [pdf]
practice for midterm 1 (Oct. 14, 2016) [pdf]
natural deduction for truth-functional logic (Oct. 13, 2016) [pdf]
solutions for hw 3 (Oct. 11, 2016) [pdf]
solutions for hw 2 (Oct. 6, 2016) [pdf]
inference rules for natural deduction in truth-functional logic (Oct. 6, 2016) [pdf]
solutions for hw 1 (Sept. 29, 2016) [pdf]
truth-functional logic, i: grammar and meaning (Sept. 15, 2016) [html] [pdf]
the nature of arguments and the method of deduction (Sept. 8, 2016) [html] [pdf]

this is phil 160...