Logic II View more

Exercise your rationality and learn the mathematical dialects of logic.

Book 32 Lessons

Course description

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.

Topics covered

  • 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

Prerequisites and next steps

You should have some experience with the logical connectives AND, OR, and NOT.