Feb 23, 2024  
2022 - 2023 Undergraduate Catalog 
    
2022 - 2023 Undergraduate Catalog [FINAL EDITION]

Add to Portfolio (opens a new window)

PHIL 120 - Symbolic Logic


3 Credit(s)

This course is a rigorous examination of the theory and methods of symbolic logic. Students do problems and proofs in both sentential logic and first-order predicate logic, using truth tables, logic trees, and INT/ELIM systems of natural deduction. Special emphasis is placed on developing skills in translating sentences from natural language into symbolic notation. This course is especially useful for majors in computer science, mathematics, engineering, and any discipline in which knowledge of formal systems is important.



Add to Portfolio (opens a new window)