Abstract
This non-technical, easy-to-read introduction to symbolic logic discusses truth-functional and predicate logic in a simple and concise manner. Emphasizes indirect proof of an especially simple form, while avoiding entirely conditional proof. Proof construction is taught by using: finished proofs; partially completed proofs in which the students are to supply missing justifications for lines of proof; and partially completed proofs in which the students are to supply the missing lines of proof, given their justifications. The difficult topic of symbolization of sentences is presented in a quasi-mechanical way which stresses the recognition of standard form expressions