Logic
An introduction to the concepts and principles of symbolic logic: valid and invalid argument, logical relations among sentences and their basis in structure features of those sentences, formal languages and their use in analyzing statements of ordinary discourse [especially the analysis of reasoning involving truth-functions and quantifiers], and systems for logical deduction.
