SYMBOLIC LOGIC
Einstein and Gödel
Handouts
- Derivation Rules for Sentential Logic
- Exercises using the intelim rules for the conditional, and the rules of exportation and importation.
- Exercises in propositional derivations
- The Formal Syntax of Quantification Logic
- Monadic Quantification Logic
- (1) Quantification Logic Derivations
- (1) Translation exercises to starred problems
- Polyadic Quantification Without Identity Exercises & Solutions
- Polyadic Quantification Without Identity Exercises & Solutions: PART 2
- Derivation Rules for Polyadic Quantification with Identity
- A Note on Numerical Quantification
- Solutions to the Second Midterm
- Polyadic Quantification With Identity: Exercises and Solutions
- Clarification About Falsum Introduction
