查询词典 predicate logic

Project Network Diagram：逻辑图,参见

Logic|逻辑,参见 Network Logic. | Logic Diagram|逻辑图,参见 Project Network Diagram. | Logic Link|逻辑链接,参见 Dependency Links.

predicate logic：述詞邏輯

本课程置重点於命题逻辑(prepositional logic)及述词逻辑(predicate logic)中自然演绎法(natural deduction)上. 在本课程中,学者们将会学到一些逻辑的基本观念与技巧,诸如有效性(validity)、真值表(truth-table)、语意树枝及推论规则等等.

predicate calculus, functional calculus：谓词演算

谓词变元|predicate variable | 谓词演算|predicate calculus, functional calculus | 温莎平均|Winsorized mean

It is：是

当说到"它是(it is)真的"或"它是好的"时,人们通常只关注到"真的"和"好的"这类取值谓词(evaluational predicate)而忽视了"是"(is)这一判定性谓词(apodictic predicate),甚至以为洒不是一个谓词.

predicate variable：谓词变项

predicate symbol 谓词符号 | predicate variable 谓词变项 | prediction law 预报律

predicate variable：述語變數

predicate calculus 述詞演算 | predicate variable 述語變數 | statemental conversion 述辭位換

logic algebra：论理代数

论理;逻辑{音译!} logic | 论理代数 logic algebra | 模态论理 logic of modality

arithmetic logic unit, ALU：算术逻辑单元

算术与逻辑区段 arithmetic logic section,ALS | 算术逻辑单元数据流 arithmetic logic unit data flow | 算术逻辑单元 arithmetic logic unit,ALU

logic assignment statement：算术赋值叙述

"逻辑阵列","logic array" | "算术赋值叙述","logic assignment statement" | "逻辑自动化文件系统","logic automated documentation system,LADS"

binary logic element：二进制逻辑元素

二进制逻辑 binary logic | 二进制逻辑元素 binary logic element | 二进制逻辑网络 binary logic network

user data clear：清除用户数据

user color 用户选用色 | user data clear 清除用户数据 | user tools 使用者工具

power station：电站

电站(Power Station):和所有RTS一样,它为战争提供必要的电力供应. 维泰奇人 一、概况 维泰奇人(Vitechy)是故事情节中一个非常重要的种族,但在对战中不能选择维泰奇人,这个种族拥有令人骄傲的科技力量. 对于维泰奇人(Vitechy)来说,