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
Actualizado 3/25/2026
Estrellas
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
Instalación
$ install --globalskills.sh
Uso
Después de instalarlo, puedes usar este skill ejecutando el siguiente comando en tu terminal:
skills use formal-logic-analysis