propositional logic (phi12) resources

​

- homework 1 practice (solutions)

​

- homework 2 practice (solutions)

​

- homework 3 practice

​

- propositional logic: truth trees

​

- propositional logic: derivations

​

- ss1 2017 midterm study guide (solutions)

​

- ss1 2017 final exam

​

​

predicate logic (phi112) resources

​

- first order logic: derivations

​

- teller primer files

​

- wff's and transcription (solutions)

​

- homework 1 practice (solutions)

​

- homework 2 practice (prob 1 solutions)

​

- homework 3 practice

​

- homework 4 practice (solutions)

​

​

course syllabi

​

course syllabi available upon request

​

​