问答题
设ρ是集合A上的关系,如果ρ是自反的则一定是自反的吗?
问答题 求下面式子的前束范式: x yヨz(P(x,y,z)∧(uQ(x,u)→vQ(y,v))).
问答题 设ρ1和ρ2是由A到B的关系,问成立吗?
问答题 设ρ1是由A到B的关系,ρ2是由B到C的关系,试证明