home/categories/philosophy-ethics/a5c-ai-babysitter-library-specializations-domains-social-sciences-humanities-philosophy-skills-formal-logic-analysis-skill-md
philosophy-ethicslifestyle
formal-logic-analysis
Apply propositional, predicate, and modal logic systems to formalize arguments, construct proofs, and evaluate validity using symbolic notation and truth tables
maintainer
a5c-ai
Updated 3/25/2026
Stars
538
Forks
33
quick start
Installation and usage
Apply propositional, predicate, and modal logic systems to formalize arguments, construct proofs, and evaluate validity using symbolic notation and truth tables
Installation
$ install --globalskills.sh
Usage
Once installed, you can use this skill by running the following command in your terminal:
skills use formal-logic-analysis