查询词典 Boolean logic

positive polarity logic：正性选辑

正核 positive nucleus | 正性選輯 positive polarity logic | 正極 positive pole

positive matrix：正阵

positive logic 正逻辑 | positive matrix 正阵 | positive number 正数

"installability,installation feasibility, installation practicability：可安装性

壳体 enclosure | 可安装性 "installability,installation feasibility, installation practicability" | 可编程逻辑器件 Programmable Logic Device

predicate calculus：述词计算

predicate 述词 | predicate calculus 述词计算 | predicate logic 述词逻辑 [谓词逻辑]

predicate constant：谓词常数

predicate calculus with identity 带恒等式的谓词演算 | predicate constant 谓词常数 | predicate logic 谓词演算

predicate logic：谓词逻辑

理论上,如果完全使用形式语言(formal language)和谓词逻辑(predicate logic)构造一种语言是可以做到完全无歧义的. 但这样绝对精确的语言是不适合人类这种不精确的生物的. 我们需要谐音来开玩笑,需要双关的语义来写诗歌,需要用模棱两可的语言来敷衍不...

predicate logic：述词逻辑 [谓词逻辑]

predicate calculus 述词计算 | predicate logic 述词逻辑 [谓词逻辑] | predicate-argument structure 述词论元结构

predicate logic：谓词演算

predicate constant 谓词常数 | predicate logic 谓词演算 | predicate symbol 谓词符号

knowledge predicate logic：知道谓词逻辑

系词:which noun acts as predicate copulative verb | 知道谓词逻辑:knowledge predicate logic | 动词谓语句:verbal predicate sentence

first order predicate logic：一阶述词逻辑

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

air ventilator：通风管

air purifier 空气滤清剂 | air ventilator 通风管 | air-bleed 空气分泄器

sound motion picture, talkie：有声电影

silent cinema, silent films 无声电影 | sound motion picture, talkie 有声电影 | cinemascope, CinemaScope 西涅玛斯科普型立体声宽银幕电影,变 形镜头式宽银幕电影