（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）（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

All Rights Reserved 版权所有©求知题库网库(csqiuzhi.com)

备案号：湘ICP备14005140号-1

经营许可证号：湘B2-20140064