题目内容
（请给出正确答案）
在![在[图]推演中，下列推导可以通过初始规则一步完成的有：...在推演中，下列推导可以通过初始规则一步完](http://static.jiandati.com/99587df-chaoxing2016-535450.png)
推演中，下列推导可以通过初始规则一步完成的有：
A、从A→B和ØA→B推出B
B、从A«B和A推出B
C、从(A→B)→(A→C)和A→B推出A→C
D、从A∨B、A→C∨B和B→C∨B推出C∨B
安装简答题APP，拍照搜题省时又省心！
更多“在[图]推演中，下列推导可以通过初始规则一步完成的有：...”相关的问题
在
推演中，“
”规则指的是
A、如果假定
可以推出
，那么不需要假定
可以推出
B、从
和
推出
C、从
和
，可以推出
D、从
和
，可以推出
A.中项在前提中至少周延一次
B.前提中不周延的项在结论中也不得周延
C.从两个特称的前提不能得出结论
D.从两个否定的前提不能得出结论
在
推演中，“∨-”规则指的是：
A、从A∨B推出A；从A∨B推出B
B、从A∨B和ØB推出A；从A∨B和ØA推出B
C、从A→B和ØA→B推出B
D、从A∨B、A→C和B→C推出C
推演中，“«-”规则指的是：
A.从A«B推出A；从A«B推出B
B.从A«B和A推出B；从A«B和B推出A
C.从A«B推出A→B；从A«B推出B→A
D.从A«B和含子公式A的公式C(A)推出C(A/B)（将C中的一处或多处A代换为B）
A.从"x"y"z(Rxy∧Ryz→Rxz)推出Rxy∧Ryz→Rxz
B.从"x"y"z(Rxy∧Ryz→Rxz)推出"x"y(Rxy∧Ryz→Rxz)
C.从$x"y"z(Rxy∧Ryz→Rxz)推出"y"z(Rxy∧Ryz→Rxz)
D.从"x"y"z(Rxy∧Ryz→Rxz)推出$w"x"y"z(Rxy∧Ryz→Rxz)
为了保护您的账号安全，请在“简答题”公众号进行验证，点击“官网服务”-“账号验证”后输入验证码“”完成验证，验证成功后方可继续查看答案！
微信搜一搜
简答题
微信搜一搜
简答题
如搜索结果不匹配，请 
推演中，下列推导可以通过初始规则一步完成的有
可以推出
可以推出
和
可以推出
和
可以推出
的初始规则一步得到
有前提推演
定理
