Linked e-resources
Details
Table of Contents
1 Basic notion
2 Validity
3 Formality
4 The symbols of propositional logic
5 The language L
6 Logical consequence in L
7 The system Sn
8 Derivability in Sn
9 The system Sa
10 Consistency, soundness, completeness
11 Quantification
12 The symbols of predicate logic.
2 Validity
3 Formality
4 The symbols of propositional logic
5 The language L
6 Logical consequence in L
7 The system Sn
8 Derivability in Sn
9 The system Sa
10 Consistency, soundness, completeness
11 Quantification
12 The symbols of predicate logic.