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 18, 2017 to Thursday, December 28, 2017