a5c-ai/babysitter/library/specializations/domains/social-sciences-humanities/philosophy/skills/formal-logic-analysis
应用命题、谓词与模态逻辑系统形式化论证、构造证明并用符号记法与真值表评估有效性。
全部 skill