Logics 2103-L-W1-LOGI

1. Intuitive concept of logical consequence considered on examples of reasoning formulated in ordinary language.
2. Logical constants of classical propositional calculus and connectives of ordinary language; examples of sentences formulated in ordinary language with the connectives: 'and', 'or', 'if? then' , 'if and only if' interpreted as logical constants of propositional calculus.
3. Logical constants as truth-functional connectives, the concept of functional completeness.
4. Interpretation of the formal language of classical propositional calculus; logical constants as operations on truth-values {1, 0}.
5. Concepts defined in terms of the interpretation: tautology, counter-tautology, satisfied formula; examples of tautologies of classical propositional calculus.
6. The concept of logical consequence defined in terms of the interpretation.
7. Formal properties of the relation of logical consequence and non-classical consequence relations.
8. The concept of formal fallacy; examples of formally correct reasoning and examples of reasoning with formal fallacy.
9. Connections between logical consequence and material implication.
10. Logical equivalence defined in terms of the interpretation; connections between logical equivalence and material equivalence, logical equivalence and logical consequence.
11. Formal language of classical predicate calculus; logical form of ordinary sentences with quantified expressions.
12. Contradictories, contraries and sub-contraries in the formal language of classical prepositional calculus.
13. Meta-theorems of classical propositional calculus applied to classical predicate calculus without free variables.
14. The concept of validity in classical predicate calculus.
15. Examples of formally correct reasoning formalized in the language of classical predicate calculus.