PHILOS 009 - Symbolic Logic I

    Recent Professors
    Not yet assigned
    Recent Semesters
    No scheduled sections on record
    Class Size
    Not published
    Credits
    3
    Transfers To
    CSU
    Description
    Students analyze techniques for representing truth-functional statements using letters and symbols, determining the validity of arguments using such statements, and demonstrating validity through formal proofs using a natural deduction system. Covers both sentential and predicate logic.