2250 Lecture Notes - Metatheorem, Triple Bar, Propositional Calculus
5 Feb 2013
School
Department
Course
Professor
Document Summary
Dec. 7: review session #3: metatheory for sl; truth-functional vrs. modal vrs. logical properties and relations. Dec. 5: review session #2: trees for sl and derivations for sl and msl. Hand in answers to exercise 3 #1h, j and #2f, j, p in the notes on msl. Also hand in answers to 5. 3#6-7h, 9-10h, and 9j (do not use sd+) and 5. 4#1-5f (use sd+) Dec. 2: review session #1: translation and syntax of sl and msl. Nov. 30: read the second half of the notes on msl. Hand in answers to 5. 3#6-10f (do not use sd+), 5. 4#1-5d (use sd+); exercise 2 b,d,f,h in the notes on msl. Nov. 28: read the notes on msl (modal sentential logic) up to the start of the semantics section. Hand in answers to 4. 6 #1l, n, p, #2b, d; 4. 7#1f, j; #2b, d; 5. 3#6-10d.
