frogyMATH

Predicate Logic Part 1 Types of Symbols and Syntax of Predicate Logic

frogyMATH

Propositional Logic Part 8 Completeness and Compactness

frogyMATH

Propositional Logic Part 7 Lindenbaum's Theorem

frogyMATH

Propositional Logic Part 6.5 Zorn's Lemma

frogyMATH

Propositional Logic Part 6 Axioms and Consistency

frogyMATH

Propositional Logic Part 5.5 Example of a Formal Deduction

frogyMATH

Propositional Logic Part 5 Deductions and Consequences

frogyMATH

Propositional Logic Part 4.5 Example of a Truth Table

frogyMATH

Propositional Logic Part 4 Proving the Completeness Theorem for Propositional Logic

frogyMATH

Propositional Logic Part 3 Model Theory for Propositional Logic

frogyMATH

Propositional Logic Part 2.5 Example of an Inductive Proof

frogyMATH

Propositional Logic Part 2 The Syntax of Propositional Logic

frogyMATH

Propositional Logic Part 1 Intuition for Model Theory

frogyMATH