Symbolic Logic
Download as PDF
Overview
Subject area
PHIL
Catalog Number
2202ID
Course Title
Symbolic Logic
Description
The operations and rules at work in arguments, as well as in some applications to mathematical proofs and computer programming. The course covers fundamental elements of propositional and quantificational logic, including translating English to symbolic logic, constructing truth tables and applying rules for derivations.
Pre- or Corequisite
024612
Liberal Arts
Yes
Course Attributes
INTD - INTD (Interdisciplinary)
Department(s)
Credits
Minimum
3
Max
3
Components
Name
Lecture
Contact Hours
3