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
Обновлено 3/25/2026
Звёзды
538
Форки
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
Установка
$ install --globalskills.sh
Использование
После установки вы можете использовать этот skill, выполнив следующую команду в терминале:
skills use formal-logic-analysis