Introduction To Logic
Introduction to Symbolic Logic. Two logical systems are examined: Sentential Logic and Predicate Logic. Work is equally divided between translating English sentences into symbolic notation, and constructing formal derivations. (Gen.Ed. R2)