Undergraduate Catalog 2011-2012
UDM Academic PoliciesCourse DescriptionsList of All ProgramsFaculty


PHL 2500 Symbolic Logic
Credit HoursRecitation/Lecture HoursStudio HoursClinical HoursLab Hours


An introduction to the artificial language of sentential and predicate logic, which is designed to facilitate the symbolic representation of natural language (English) arguments. In addition to learning how to construct formal proofs for valid arguments, students learn the different logical properties that statements and sets of statements may have. The concepts of truth-functionality, validity, consistency, implication, and equivalence will be explored. Students will have a heightened appreciation of the logical functions of language. Note: This course fulfills Objective 4c of the University Core Curriculum, except for students in the College of Engineering and Science.
300

College of Business Administration

Home | Contacts | Policies | Programs | Website

College of Engineering & Science

Home | Contacts | Policies | Programs | Website

College of Health Professions & McAuley School of Nursing

Home | Contacts | Policies | Programs | Website

College of Liberal Arts & Education

Home | Contacts | Policies | Programs | Website

School of Architecture

Home | Contacts | Policies | Programs | Website

School of Dentistry

Home | Contacts | Policies | Programs | Website

School of Law

Home | Contacts | Policies | Programs | Website



For more information about UDM, or to apply online, go to www.udmercy.edu/apply.


Print Friendly Print-friendly