formal-logic-analysis：形式化逻辑分析与证明构建

middleware · 2026-02-22 23:20:01 · 27 次点击 · 0 条评论

Apply propositional, predicate, and modal logic systems to formalize arguments, construct proofs, and evaluate validity using symbolic notation and truth tables

技能包地址：https://skillsmp.com/skills/a5c-ai-babysitter-plugins-babysitter-skills-babysit-process-specializations-domains-social-sciences-humanities-philosophy-skills-formal-logic-analysis-skill-md

27 次点击 ∙ 0 人收藏

登录后收藏

0 条回复