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
Monday, June 5, 2017 to Monday, September 18, 2017