电脑体验，效果更佳

合式公式图谱-社科哲学领域：

研究人员

周锦程 余泉 甘晓丽 周学文 王驹 曹发生

相关术语

完全性 归纳条件 当且仅当 完全性定理 离散数学 模态推理 一阶语言 联结词 极小条件 极大一致集 溯因推理 推理规则 偏序集 相容的选言命题 LINGO 真值表 语用逻辑 不相容 可靠性 补图 推理方法 逻辑理论 回溯推理 可满足公式 逻辑性质 语义解释 可满足的 降链条件 概念一致 不可分

标签云