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.
Introduction to Logic
Wednesday, October 19, 2016 to Thursday, December 29, 2016