Exercise your rationality and learn the mathematical dialects of logic.
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.