问答题
找出下面公式的斯科林范式: ¬(∀xP(x)→∃y∀zQ(y,z)).
问答题 试证明:若ρ的基数为n的集合A上的一个关系,则ρ的传递闭包为
问答题 找出下面公式的斯科林范式: ¬(xP(x)→yP(y)).
问答题 求下面式子的前束范式: x(¬ヨyP(x,y)→(zQ(z))→R(x)).