逻辑词 逻辑项 逻辑谓词 逻辑变项 逻辑常项 谓词逻辑 逻辑数据项 逻辑代数项 逻辑作用词 谓词逻辑锁 元逻辑谓词 逻辑多项式 谓词元逻辑 逻辑情景词 逻辑连接词 多项逻辑机 高阶谓词逻辑 一元谓词逻辑 三阶谓词逻辑 一阶谓词逻辑 逻辑陈述谓词 二阶谓词逻辑 语词逻辑记忆 检索词加权逻辑 逻辑语义词关系 逻辑概念性质词汇 带同异性的谓词逻辑 逻辑常词, 逻辑常项 多项逻辑机多值逻辑机 共享逻辑字词处理设备 非逻辑常数, 非逻辑常项 非逻辑常词, 非逻辑常项