This is a first course in formal reasoning. You will learn to symbolize and evaluate deductive arguments. Topics include symbolization in sentential logic (SL), predicate logic (PL) and relational predicate logic (RPL); truth tables; and proofs and invalidity in SL, PL and RPL.