|
Week - 1 |
Propositions and Arguments, Propositional Connectives, Language of Symbolic Propositional Logic |
|
Week - 2 |
Symbolization, Translation |
|
Week - 3 |
Symbolization, Translation (Continue) |
|
Week - 4 |
Truth Tables, Consistency and Validity Test by Truth Tables |
|
Week - 5 |
Introduction to Natural Deductions, Conditional Derivations |
|
Week - 6 |
Conditional and Reductio Derivations |
|
Week - 7 |
Conditional and Reductio Derivations (Continue) |
|
Week - 8 |
Derivation of Biconditional Propositions (Cont.) |
|
Week - 9 |
Mid-term |
|
Week - 10 |
Derivation of Disjunctive and Conjunctive Propositions |
|
Week - 11 |
Derivation of Disjunctive and Conjunctive Propositions (Continue) |
|
Week - 12 |
Derivation of Disjunctive and Conjunctive Propositions, Abbreviated Derivations |
|
Week - 13 |
Constructing Counter-Models |
|
Week - 14 |
DNF-CNF, Duality |
Anadolu Info Package 
Turkish 
English