Apr 25, 2024  
2015-2016 Undergraduate Catalog 
    
2015-2016 Undergraduate Catalog [Archived Catalog]

PHL 111 - Valid Reasoning I


2015-2016 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.

Offered: Fall, Spring
credit: 3