一个结合复合陈述是由两个陈述用这个词组合而成的吗和.在符号逻辑中,连接 p 和 问 写 p ∧ 问 .
一个连词只有在其中的两个陈述都为真时才为真。的真值表 p ∧ 问 取决于的真值 p 和 问 .
p 问 p ∧ 问 T T T T F F F T F F F F
一个析取复合陈述是由两个陈述用这个词组合而成的吗和.在符号逻辑中,分离 p 和 问 写 p ∨ 问 .
如果一个析取命题中的一个或两个命题都为真,析取命题为真。的真值表 p ∨ 问 取决于的真值 p 和 问 .
p 问 p ∨ 问 T T T T F T F T T F F F
的否定的一份声明中 p 是不 p .
符号 ∼ 或 ¬ 表示否定。
如果 p 是真的,那么 ∼ p 为假,反之亦然。