Formal and informal logic for philosophical reasoning. Covers propositional logic (connectives, truth tables, tautologies), predicate logic (quantifiers, validity), syllogistic logic (Aristotle's orig
examples/skills/philosophy/formal-logic/SKILL.md(main)