题目详情
单选题 下列说法不正确的是( )
A. 永真性:如果谓词公式P在个体域D上,存在一个解释都取得直值T则称P在D上是永真的
B. 不可满足性: 如果谓词公式P对于个体域D上的任何一个解释都取得真值F,则称P在D上是永久假的,如果P每个非空个体域上均永假,则称P永假
C. 可满足性:对于谓词公式P,如果至少存在一个解释使得公式P在此解释下的真值为T,则称公式P是可满足的
D. 永真性:如果谓词公式P对个体域D上的任何一个解释都取得真值T,则称P在D上是永真的

学科:人工智能原理-2022智能
时间:2024-05-17 13:44:03
相关题目
相关作业
