当前位置:首页 > 名称
大约有9,000项符合查询结果项。(搜索耗时:0.0201秒)
为您推荐: 高阶英语词性 托福词性与语义 英语词汇 句法以及语义的多视角研究 英语语义 英语词性 产品语义学 符号的运用与意义 传达
-
-
符号逻辑 语法语义和证明
(美)大卫·W.安格勒著;陈素艳,张绣蕊译;魏屹东审校2016 年出版333 页ISBN:9787030480392本书从逻辑学的两个核心概念“命题”和“论证”出发,论述了符号逻辑学的两套推理(命题逻辑和谓词逻辑)使用的两种规范语言,以及相应的推导规则。命题逻辑系统具有可判定性,真值表方法和真值树方法都能够为命题、...
-
-
-
-
-
-
-
-
学科分类