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