Double turnstile
Top View
- Turnstile Figures of Opposition
- Tableau with Quantifiers (Or “Qu-Tee”)
- 1 Introduction to Logic
- Logic Background (1C)
- Predicate Logic
- The Art of Logic
- Symbolic Logic: an Accessible Introduction to Serious Mathematical Logic
- Forallx Cambridge 2014-15
- An Introduction to Formal Logic, Version 1.28
- Overview of Logic and Computation: Notes
- Latex Typing
- Phil 201: Introductory Logic, Precept 8
- Sentential Logic
- Tautologies and Logical Equivalence in Intuitionistic Propositional Logic Without Implication
- 15 Varieties of Consequence
- Semantics for Sentential Logic