190-194, pg. 178
195-197, pgs. 178-179
198-200, pg. 179
201-204, pgs. 179-180
205-206, pg. 180
207-209, pgs. 180-181
210-213, pg. 181
214-216, pg. 181
217-220, pg. 182
221-225, pgs. 182-183
226, pg. 183
227-231, pgs. 183-184
232-236, pgs. 184-185
237-239, pg. 185
240-244, pgs. 185-186
245-247, pg. 186
248-249, pg. 186
An introduction to symbolic logic with an emphasis on formal logical languages and natural deduction systems of logical proof. Students learn how to translate reasoning into a symbolic logical language and how to prove arguments valid with the precision of mathematics using formal systems of proof.