Exercise your rationality and learn the mathematical dialects of logic.

32 Lessons

Continue your adventures in logic with puzzles involving Venn diagrams and syllogisms, propositional logic, and first-order logic.

By the end of this course you'll have explored the deep foundations of truth as well as applied logic to AI expert systems and linguistic analysis.

- Euler Diagrams
- Venn Diagrams
- Syllogism Fallacies
- The Square of Opposition
- Binary Arithmetic
- Comparators
- Subtractors
- Multipliers
- Dividers
- Logic Symbolism
- Modus Ponens
- Modus Tollens
- Rules of Substitution
- Rules of Inference
- Proof by Cases
- Implication