AI智能推荐题库-试题通 AI智能整理导入题库-试题通
×
首页 题库中心 计算机考试题目测试 题目详情
C9F339B733700001551D8180158BA470
计算机考试题目测试
1,500
单选题

下列说法不正确的是()

A
A、永真性:如果谓词公式P对个体域D上的任何一个解释都取得真值T,则称P在D上是永真的
B
B、可满足性:对于谓词公式P,如果至少存在一个解释使得公式P 在此解释下的真值为T,则称公式P是可满足的
C
C、永真性:如果谓词公式P在个体域D上,存在一个解释都取得真值T,则称P在D上是永真的
D
D、不可满足性:如果谓词公式P对于个体域D上的任何一个解释都取得真值F,则称P在D上是永久假的,如果P在每个非空个体域上均永假,则称P永假
E
啊啊啊

答案解析

正确答案:C
计算机考试题目测试

扫码进入小程序
随时随地练习

关闭登录弹窗
专为自学备考人员打造
勾选图标
自助导入本地题库
勾选图标
多种刷题考试模式
勾选图标
本地离线答题搜题
勾选图标
扫码考试方便快捷
勾选图标
海量试题每日更新
波浪装饰图
欢迎登录试题通
可以使用以下方式扫码登陆
APP图标
使用APP登录
微信图标
使用微信登录
试题通小程序二维码
联系电话:
400-660-3606
试题通企业微信二维码