更多“反演归结(消解)证明定理时,若当前归结式是永真式时,则定理得证。()”相关的问题
第1题
反演归结(消解)证明定理时,若当前归结式是空子句时,则定理得证。()
点击查看答案
第2题
利用归结原理证明定理时,若得到的归结式为______,则结论成立。
点击查看答案
第3题
设P是谓词公式,A于P的任何论域,存在P为真的情况,则称P为永真式。()
点击查看答案
第4题
安装线隙式滤油器,纸质滤油器和烧结式滤油器时,油液从滤芯内外部流出。()
点击查看答案
第5题
《铁路乘车证管理办法》规定,退休人员使用铁路乘车证时,用单位证明代替工作证。()
点击查看答案
第6题
常用的滤油器分为网式、线隙式、纸质和烧结式四种。()
点击查看答案
第7题
怠速时开空调和转动转向盘,若发动机怠速转速不升高,则证明怠速开关不闭合。()
点击查看答案
第8题
石灰土使用消石灰时,宜在使用前7-10d消解石灰,消解的石灰应过5mm筛后使用。()
点击查看答案
第9题
《铁路乘车证管理办法》(铁劳〔1994〕142号)规定,退休人员使用铁路乘车证时,用单位证明代替工作证。()
点击查看答案
第10题
若C1=P(x) ∨Q(x),C2=┐P(a) ∨R(y),则C1和C2的归结式R(C1,C2)=()
A.P(x) ∨Q(x)
B.P(a) ∨Q(x)
C.Q(x) ∨R(y)
D.Q(a) ∨R(y)
点击查看答案