题海让大学四年没有难题
白天模式登陆

题目详情

单选题 下列说法不正确的是( )

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智能课程封面

学科:人工智能原理-2022智能

时间:2024-05-17 13:44:03

Copyright © 2022 津ICP备2021001502号