请在 下方输入 要搜索的题目:

关于一阶逻辑公式的分类,下列说法错误的是( )
选项:

A:公式G可能即是有效公式又是矛盾公式
B:如果公式 G 在它所有的解释下都取值为真,则称 G 为有效公式
C:如果公式 G 在它所有的解释下都取值为假,则称 G 为矛盾公式
D:如果至少有一种解释使得公式 G 取值为真,则称 G 为可满足公式

发布时间:2024-04-02 10:30:28
推荐参考答案 ( 由 搜题小帮手 官方老师解答 )
联系客服
答案:

以下文字与答案无关

提示:有些试题内容 显示不完整,文字错误 或者 答案显示错误等问题,这是由于我们在扫描录入过程中 机器识别错误导致,人工逐条矫正总有遗漏,所以恳请 广大网友理解。

相关试题
登录 - 搜题小帮手
点我刷新
立即注册
注册 - 搜题小帮手
点我刷新
立即登录