| Weeks | Topics |
| 1 |
1.What is logic? A brief history of logic and kinds of reasonings.
|
| 2 |
Propositional Logic
2.Logical connectives and symbolization: Negation, conjunction, disjunction, conditional, biconditional.
|
| 3 |
Symbolization of inferences; recognition of main connectives; use of parentheses; truth-value assignment of non-atomic sentences.
|
| 4 |
Constructing truth-tables; Using truth tables to determine consistency and validity; by using truth tables to determine whether an argument/inference is deductively valid
|
| 5 |
Using truth tables to test logical equivalences.
|
| 6 |
Truth Trees:
6.Rules for truth trees.
|
| 7 |
Using truth trees to test logical consistency, validity and equivalence.
|
| 8 |
Term Exam
|
| 9 |
Quantifier (Predicats) logic: 9.Basic notions and definitions in quantifier logic; singular and atomic propositions; symbolizations of non-atomic propositions; symbolizations of terms; differences between terms and propositions.
|
| 10 |
Symbolizations of inferences; rules for quantifier exchange.
|
| 11 |
Open Formulas:11.Open formula, variables, constants, names, universe of discourse, universalization, existentialization.
|
| 12 |
Quantifiers: Universal and existential quantifier.
|
| 13 |
Rules for truth trees in quantifier logic.
|
| 14 |
Using truth trees to test logical consistency, validity and equivalence in quantifier logic.
|