整专业资料
自媒体账号群
微信小程序

账号名:砚舟自考

扫二维码刷题搜题

微信服务号

微信号:zikaosw

账号名:考生学习网

网课试听在线模考

微信订阅号

微信号:zikaosw-cn

账号名:zikao资料库

自考考试动态资讯

微信群

1、扫描左侧二维码
2、加群领自考资料

QQ群

群号:892287306

扫二维码加群

小红书号

账号名:自考生网

扫二维码关注

登录 | 注册
登录/注册后,可享受
  • 课程免费试听
  • 试做在线题库
  • 学习提升指导
  • 【题目】 下列说法不正确的是( )

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

     纠错    

  • 助考班推荐

您可能感兴趣的试题

Copyright © 2010 - 2023 湖南求实创新教育科技有限公司 All Right Reserved.

温馨提示:如您需要的资料本网暂时没有,请于工作日08:00-18:00,点击这里,联系客服及时补充资料。