Philosophy | Elementary Logic
P150 | 19777 | Savion

This elementary course in logic is concerned with (1) basic notions
of the theory of reasoning, such as correctness of inference,
deductive and inductive evaluations of arguments, soundness
conditionals, truth-functionality; (2) Rigorous methods for
discerning correct from incorrect reasoning, such as truth-tables and
natural deduction.  The primary subject of the course is
Propositional Logic; the formal language, translations from English
to symbolic forms, and formal demonstrations (proofs) of validity of

Final grade for the course is calculated from class performance,
group-work, four to six homework assignments, two tests and a final

The required text is the latest edition of Brain Power, written by
the instructor.