查询词典 propositional logic

Logic Starting Point：逻辑起点

程序逻辑:program logic | 逻辑起点:Logic Starting Point | 规范逻辑:Normative logic

logic trouble-shooting tool：逻辑故障测试器

逻辑分析仪|logic analyzer | 逻辑故障测试器|logic trouble-shooting tool | 逻辑模拟|logic simulation

infinitary logic：无穷逻辑

非古典逻辑 non-classical logic | 无穷逻辑 infinitary logic | 古典逻辑 classical logic

logic comparators：逻辑比较器

"逻辑一致元件","logic coincidence element" | "逻辑比较器","logic comparators" | "逻辑比较","logic comparison,LC"

logic schematics：逻辑简图

"逻辑简图替换","logic schematic replacement" | "逻辑简图","logic schematics" | "逻辑搜索","logic seeking"

extension of the residue field：剩余域的扩张

extension of a field 域的扩张 | extension of the residue field 剩余域的扩张 | extension principle of propositional logic 命题逻辑的外延性原理

extension principle of propositional logic：命题逻辑的外延性原理

extension of the residue field 剩余域的扩张 | extension principle of propositional logic 命题逻辑的外延性原理 | extension theorem 扩张定理

extension theorem：扩张定理

extension principle of propositional logic 命题逻辑的外延性原理 | extension theorem 扩张定理 | extensionality 外延

formula of computation：计算公式

formula language 公式语言 | formula of computation 计算公式 | formula of propositional logic 命题逻辑公式

formula of propositional logic：命题逻辑公式

formula of computation 计算公式 | formula of propositional logic 命题逻辑公式 | formulate 公式化

aseptically drawn milk：在无菌条件下挤出的乳

aseptic | 防腐剂 无菌的 | aseptically drawn milk | 在无菌条件下挤出的乳 | asepticism | 无菌法, 无菌外科学说

digital refurbishing frequency：数据刷新速度

额定输出 rated output | 数据刷新速度 digital refurbishing frequency | 通讯波制率 communication BPS