如果结果不匹配，请 
更多“对于一阶谓词逻辑，若子句集是不可满足的，则必存在一个从该子句…”相关的问题
B与x无关。第3题
关于谓词逻辑，下列描述不正确的是（)
A.紧接于量词之后被量词作用的谓词公式称为该量词的辖域
B.在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元
C.仅个体变元被量化的谓词成为一阶谓词
D.个体变元、函数符号和谓词符号都被量化的谓词成为多阶谓词
第9题
设个体域为自然数集N，F（x)：x是偶数，C（x)：x是素数，用0元谓词将下列命题符号化，并讨论它们的真假。（1)2是偶素数。（2)若2是素数，则4不是素数。（3)只有2是素数，6才能是素数。（4)除非6是素数，否则4是素数。（5)5是素数当且仅当6是素数。（6)5不是素数当且仅当6是素数。
