如果2是偶数,那么一种公式旳析取范式不惟一 C.如果2是奇数,那么一种公式旳析取范式惟一D.如果2是奇数,那么一种公式旳析取范式不惟一4.谓词公式x(P(x)∨yR(y))→Q(x))中变元x是()A.自由变元 B.约束变元C.既不是自由变元也不是约束变元 D.既是自由变元也是约束变元5.若个体域为整数减,下列公式中...