（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 版权所有©易学考试网(yxkao.com)

备案号：湘ICP备2022003000号-3