作业帮 > 综合 > 作业

以下逻辑表达式的值恒为真的是( ).A.P∨(┓P∧Q)∨(┓P∧┓Q) B.Q∨(┓P∧Q)∨(P∧┓Q) C.P∨Q

来源:学生作业帮 编辑:作业帮 分类:综合作业 时间:2024/05/12 17:55:54
以下逻辑表达式的值恒为真的是( ).A.P∨(┓P∧Q)∨(┓P∧┓Q) B.Q∨(┓P∧Q)∨(P∧┓Q) C.P∨Q
顺带给我讲一讲这方面的知识好吗?回答的加五分.给网站也可以.
A 是正确的,理由是 ┓p,和p 中必有一真.
如果给出 :┓p V p 你绝对知道它恒为真.
因为不真即假 只有两种情况.
也就是说恒为真 代表给出这个事件所有可能的情况都可能为真.
我们大都已 P或┓p等 代表一个简单事件成立或不成立,并以P或Q等其他简单事件的组合代表复杂的事件.
在复杂的事件中
如果恒为真 则必定有 pV ┓p 或 ┓Q V Q的间接出现.
所谓间接出现指的是不同的表达形式:(已p为例)
┓p = ┓p V 0 (0代表假)
0 = Q ∧ ┓Q
┓p = ┓p V (Q ∧ ┓Q) = (┓p ∧ Q) V (p ∧ ┓Q)
又因为
┓p V p 恒为真
所以 P∨(┓P∧Q)∨(┓P∧┓Q) 恒为真
上述表达是非专业的表述.
你去看离散数学
如果想深一点了解可以看看
徐明的《符号逻辑讲义》 ,挺好的这本书,不过书上有些错误你可以网上搜一下可以找到修正的地方.