|
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