black

离散数学

登录

问答题

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

(∃x)(A(x)→B)<=>(∀x)A(x)→B

【参考答案】

相关考题

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

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

问答题 (x)(x22x+1=0),其中个体域为D={-1.2}

All Rights Reserved 版权所有©易学考试网(yxkao.com)

备案号:湘ICP备2022003000号-3