Description
This is an introduction to elementary formal logic. Valid and invalid reasoning. Common fallacies, logical connectives "and," "or," "if ... then". Truth tables. Propositional calculus and predicate calculus.