公式(x)P(x)→(y)Q(x,y)的前束范式为(x) (y) (P(x)→Q(x,y) )()

是 否

时间:2023-11-30 09:29:02

相似题目