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