查询词典 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

the bird of wonder：凤凰;长生鸟

the bird of peace鸽子 | the bird of prey 猛禽 | the bird of wonder凤凰;长生鸟

flange rail：平底轨条

"凸缘皮带轮","flange pulley" | "平底轨条","flange rail" | "凸缘肋","flange rib"