（x）（A（x）→B（x））=>（x）A（x）→（x）B（x）_计算机考试题

离散数学

问答题

共用题干题证明下列各式。其中：B是不含变元x的谓词公式

（∀x）（A（x）→B（x））=>（∀x）A（x）→（∀x）B（x）

【参考答案】

相关考题

问答题 (x)(B→A(x))B→(x)A(x)

问答题（x）（A（x）→B）（x）A（x）→B

问答题 (x)(y)(S(x)→R(y))(x)S(x)→(y)R(y)

All Rights Reserved 版权所有©计算机考试题库(jsjtiku.com)

备案号：湘ICP备14005140号-4

经营许可证号：湘B2-20140064