black

离散数学

登录

问答题

简答题

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

【参考答案】

相关考题

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

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

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

All Rights Reserved 版权所有©在线考试题库网(zxkao.com)

备案号:湘ICP备14005140号-7

经营许可证号:湘B2-20140064