Apply propositional, predicate, and modal logic systems to formalize arguments, construct proofs, and evaluate validity using symbolic notation and truth tables
Apply propositional, predicate, and modal logic systems to formalize arguments, construct proofs, and evaluate validity using symbolic notation and truth tables
应用命题逻辑、谓词逻辑和模态逻辑系统，使用符号表示法和真值表对论证进行形式化、构建证明并评估有效性
Category: science-education (科学教育) · Author: A5c Ai Babysitter Formal Logic Analysis · Version: @main · License: MIT
下载完整 Skill 目录，包含 SKILL.md 及所有相关文件
Category:science-education