Apr 26, 2024  
2013-2014 Undergraduate Catalog 
    
2013-2014 Undergraduate Catalog [Archived Catalog]

PHL 111 - Valid Reasoning I


2013-2014 Catalog Year

An introduction to formal techniques for determining the validity of deductive arguments. Students will learn to complete proofs in symbolic propositional logic, and to complete proofs in symbolic quantified logic with sentences having at least one quantifier.

credit: 3