设A是由{0, 1, , , }生成的公式,A*与A互为对偶式。(1) 若A是永真式,则A*是永假式。(2) 若A是永假式,则A*是永真式。
证明(1) 设A是永真式,则A台1,由对偶定理得A* 0,因此A是永假式。(2) 设A是永假式,则,由对偶定理得A*= 1,因此A是永真式。 结果一 题目 设A是由生成的公式,与A互为对偶式。⑴若A是永真式,则是永假式。⑵若A是永假式,则是永真式。 答案 证明(1) 设A是永真式,则,由对偶定理得,因此是...
设A,B为两命题公式,若A↔B是永真式,则称A与B是等价的。() 查看答案
永真式的主合取范式和永假式的主析取范式都是0吗? 扫码下载作业帮搜索答疑一搜即得 答案解析 查看更多优质解析 解答一 举报 用真值表法看你命题有多少个变元 那就知道有多少个 极小项 极大项所以例如 你的是 永真式 那主析取范式 就是所有极小项析取 反之 不用说了吧还有定理:任何公式都有与之等价的主...
结果1 题目若公式A既不是永真式,也不是永假式,则A的每个替换实例一定既不是永真式,也不是永假式。对吗? 相关知识点: 试题来源: 解析 解 不对。若A是非永真的可满足式,则它的替换实例中既有永真式,也有永假式,也有非永真的可满足式。反馈 收藏 ...
百度试题 题目反演归结证明定理时,若当前归结式是()时,则定理得证。 A.永真式B.永假式C.蕴含式D.空子句相关知识点: 试题来源: 解析 D 反馈 收藏
百度试题 题目利用归结原理证明定理时,若当前归结式是( ),则定理得证。 A.永真式B.永假式C.空子句D.包孕式相关知识点: 试题来源: 解析 C 反馈 收藏
百度试题 题目反演归结(消解)证明定理时,若当前归结式是( )时,则定理得证。 A. 永真式 B. 永假式 C. 空子句 D. 蕴含式 相关知识点: 试题来源: 解析 C.空子句 反馈 收藏
百度试题 结果1 题目反演归结(消解)证明定理时,若当前归结式是( )时,则定理得证。 A. 永真式 B. 永假式 C. 空子句 D. 蕴含式 相关知识点: 试题来源: 解析 C) 反馈 收藏
百度试题 结果1 题目反演归结(消解)证明定理时,若当前归结式就是( )时,则定理得证。 A. 永真式 B. 永假式 C. 空子句 D. 蕴含式 相关知识点: 试题来源: 解析 C) 反馈 收藏