black

离散数学

登录

问答题

简答题

找出下面公式的斯科林范式:
¬(∀xP(x)→∃y∀zQ(y,z)).

【参考答案】

相关考题

问答题 试证明:若ρ的基数为n的集合A上的一个关系,则ρ的传递闭包为

问答题 找出下面公式的斯科林范式: ¬(xP(x)→yP(y)).

问答题 求下面式子的前束范式: x(¬ヨyP(x,y)→(zQ(z))→R(x)).

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

备案号:湘ICP备2022003000号-3