Q&A section for all courses. Add courses and comments anonymously.

University of Waterloo

Waterloo, Ontario

1 vote

PHIL 240

Introduction to Formal Logic

An examination of classical propositional logic, covering proof methods, expressive completeness, soundness, and completeness. Also introduction to quantificational logic.

In class quizzes, no assignments, no midterms, no exam. Straightforward class, easy to get. 2 of your worst grades will be dropped. Only downside is the quizzes aren't marked out of a lot so every mistake is painful but it's your responsibility to avoid those anyway, which is easy in this class. Prof is Steven Weinstein.

Added by Anonymous on 2010-10-31 00:57:05

Log in with Facebook to add a comment

Log in with Facebook to participate in the Q&A.