更多“反演归结（消解）证明定理时，若当前归结式是（）时，则定理的证。”相关的问题
第1题
谓词逻辑下，子句 C1=L∨C1’, C2= ┐L∨C2’, 若σ是互补文字的最一般合一代换，则其归结式 C12=（）
A.C1’σ∨C2’σ
B.C1’∨C2’
C.C1’σ∧C2’σ
D.C1’∧C2’
点击查看答案
第2题
摩根定理又称反演律，常用的两个变形公式是：（AB)'=A'+B'，（A+B)'=A'B'。
点击查看答案
第3题
使用有限覆盖定理的一般思想是：根据证明要求构造无限开覆盖, 由有限覆盖定理选出有限覆盖定理以达到需证的要求.
点击查看答案
第4题
根据对偶定理，逻辑式与其对偶式是相等的。
点击查看答案
第5题
谓词公式$xA（x) ÙØ $xA（x)的类型是
A.永真式
B.矛盾式
C.非永真式的可满足式
D.无法确定
点击查看答案
第6题
使用归谬赋值法时，如果设原公式的主联结词为1，最后得到了无矛盾的赋值结果，则可以证明原公式是：
点击查看答案
第7题
柯西中值定理是拉格朗日中值定理在参数式函数形式下的形式
点击查看答案
第8题
非均质圆盘（质心与圆心不重合）沿固定水平面做纯滚动，在应用动量矩定理时，则（)
A.只能对质心用动量矩定理。
B.只能对圆心用动量矩定理。
C.只能对速度瞬心用动量矩定理。
D.对速度瞬心或质心用动量矩定理均可。
点击查看答案
第10题
叙述 legendre 符号之定义. 给出定理 4.3.2 及推论之证明. 给出定理 4.3.3 之证明.
点击查看答案
重要提示：
请勿将账号共享给其他人使用，违者账号将被封禁！
警告：系统检测到您的账号存在安全风险
