电脑体验，效果更佳

自由逻辑图谱-社科哲学领域：

研究人员

周祯祥 冯艳 刘壮虎

相关术语

模态算子 空单称词项 个体域 存在预设 限定摹状词 经典逻辑 本体论证明 弗雷格 一阶逻辑 摹状词理论 巴坎公式 珠穆朗玛峰 现代逻辑方法 可能世界 “存在” 模态谓词逻辑 语义学 个体变元

标签云