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, March 13, 2017 to Friday, July 14, 2017