Logic
| Course Purpose |
|---|
| The purpose of this course is for students to acquire skills of symbolic logic. |
| Learning Goals |
| Students will be able to: 1. attain basic knowledge of symbolic logic, and 2. use their basic skills of symbolic logic. |
| Topic | |
|---|---|
| Session 1 | Introduction |
| Session 2 | Validity of argument |
| Session 3 | "and" and "or" |
| Session 4 | Conditional mood |
| Session 5 | Biconditional and logical equivalence |
| Session 6 | Various arguments |
| Session 7 | The practice of the argument |
| Session 8 | Contradiction and consistency |
| Session 9 | Tautology |
| Session 10 | Predicate, name, quantifier |
| Session 11 | Symbolization of everyday language |
| Session 12 | Symbolic language grammar |
| Session 13 | Interpretation of sentences containing quantifiers |
| Session 14 | Validity of argument including quantifier |