Question

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

顺带给我讲一讲这方面的知识好吗？回答的加五分。给网站也可以。

Answer 1

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) 恒为真
上述表达是非专业的表述。

你去看离散数学
如果想深一点了解可以看看
徐明的《符号逻辑讲义》 ，挺好的这本书，不过书上有些错误你可以网上搜一下可以找到修正的地方。

Answer 2

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) 恒为真
上述表达是非专业的表述。

你去看离散数学
如果想深一点了解可以看看
徐明的《符号逻辑讲义》 ，挺好的这本书，不过书上有些错误你可以网上搜一下可以找到修正的地方。

Answer 3

你就按 P，Q赋值00,01,10,11，计算这四组值
如果计算值也不会，你就随便找本离散数学，上面都会有这些 与 或 非 的真值表的