查询词典 statement logic

first order predicate logic：一阶述词逻辑

首先,由於在一階述詞邏輯(first order predicate logic)中,我們僅能以「無法證明~P」來說明「P是一致的(必然的)」. ...

predicate symbol：述詞符號

述詞邏輯 predicate logic | 述詞符號 predicate symbol | 述詞使用 predicate use

predicate variable：谓词变量

谓词逻辑 predicate logic | 谓词变量 predicate variable | 谓词符号 predicate symbol

Printable Area：可打印区域

30 Print Density 打印浓度 | 31 Printable Area 可打印区域 | 32 PLD Programmable Logic Device 可编程逻辑器件

private view state：私有视图状态

Private Key 私钥 | private view state 私有视图状态 | program logic 程序逻辑

privileged user：特许用户

privileged operation 特权操作 | privileged user 特许用户 | probabilistic logic 概率逻辑

probabilistic logic：概率逻辑

privileged user 特许用户 | probabilistic logic 概率逻辑 | probability 概率

complex product：复乘积

复数幂级数 complex power series | 复乘积 complex product | 复合可程序逻辑装置 complex programmable logic device

SPF Sub Program File：子程序文件

SM Signal Module 信号模块 | SPF Sub Program File 子程序文件 | SPS Programmable Logic Controller 可编程逻辑控制器

PRT Program Test：程序测试

PLC Programmable Logic Control 可编程逻辑控制器 | PRT Program Test 程序测试 | RAM Random Access Memory 随机存取存储器

chenevixite：砷铁铜石

化学合成作用,化能合成 chemosynthesis | 砷铁铜石 chenevixite | 海沼沙脊 chenier

brown belt：棕色腰带

8.棕色腰带:brown belt | 9.黑色腰带:black belt | 10.红白色腰带:red-white belt