Logic I

3 credits · Undergraduate Programs

Sentential and first-order logic from both deductive and semantic points of view. Some elementary metatheorems. Antirequisite(s): Credit for Philosophy 279 and 377 will not be allowed.