答案窝,daanwo.com

[单选题]下列说法不正确的是（      )1lp答案窝(daanwo.com)-大学生作业答案及考资分享平台
A永真性：如果谓词公式P对个体域D上的任何一个解释都取得真值T,则称P在D上是永真的1lp答案窝(daanwo.com)-大学生作业答案及考资分享平台
B可满足性：对于谓词公式P,如果至少存在一个解释使得公式P在此解释下的真值为T,则称公式P是可满足的1lp答案窝(daanwo.com)-大学生作业答案及考资分享平台
C永真性：如果谓词公式P在个体域D上，存在一个解释都取得真值T,则称P在D上是永真的1lp答案窝(daanwo.com)-大学生作业答案及考资分享平台
D不可满足性：如果谓词公式P对于个体域D上的任何一个解释都取得真值F，则称P在D上是永久假的，如果P每个非空个体域上均永假，则称P永假

答案窝,daanwo.com