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
使用
安装后，您可以通过在终端运行以下命令来使用此技能：
skills use formal-logic-analysis