Elements of Deductive Logic - Additional Notes and Exercises

Preliminaries
	Sets
	n-tuples
	Relations
	Functions
	Cardinality
	Induction and Recursion
	Proof Strategies
Propositional Logic
	Syntax
	The semantic evaluation of sentences
	Satisfiability and Logical Implication (Entailment)
	Substitution
	The Interpolation Theorem
	Duality
	Compactness
	Expressive Adequacy
Proof systems
	Natural Deduction systems
	Consistency and (Negation) Completeness
	Soundness and (Semantic) Completeness
	Other Proof Systems
Predicate Logic
	Syntax
	Semantics: Evaluation in a Structure
	Satisfiability, Logical Implication, etc.
	The Compactness Theorem and Cardinality Properties
Natural Deduction
	Soundness and Completeness
	Other Proof systems
Binary Relations Revisited
	Expressing Properties in L=
	Operations on Binary Relations
	Orderings
	Well-Orderings
Validity and Formalization
Definite Descriptions