black

离散数学

登录

问答题

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

(∃x)(S(x)→R(x))<=>(∀x)S(x)→(∃x)R(x)

【参考答案】

相关考题

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

问答题 (x)(S(x)→Q(a))∧p,其中S(x):x>3,Q(x):x=5,a:3,p:5>3,个体域为D={-1.3.6},求真值

问答题 (x)(y)H(x,y)其中H(x,y):x>y,个体域为D={4.2},求真值

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

备案号:湘ICP备2022003000号-3