PRICES MAY VARY. This text does not presuppose any technical background in math or logic. The first seven chapters cover all the basic components of a first course in symbolic logic, including truth tables, rules for devising formal proofs of validity, multiple quantifiers, properties of relations, enthymemes, and identity. (One exception is that truth trees are not discussed.) The five operator symbols used are: (.) and, (v) or, (~) not, and also if-then, represented by the sideways U and...
