《离散数学》学习笔记一之命题逻辑

命题逻辑

    命题：命题是一个或真或假的陈述语句。（由此，判断一个语句是否为命题看是否满足如下两个条件：1、是否是陈述句；2、能否判断真假.）

                 例如：

                         1、多伦多是加拿大的首都.（是陈述句+能判断真假=是命题）

                         2、几点了？（不是陈述句（是疑问句）=不是命题）

                         3、仔细看这个.（不是陈述句（是祈使句）=不是命题）

                         4、x+1=2.（是陈述句+无法判断真假=不是命题）

                 习惯上，用p、q、r、s……来表示命题。若命题为真，它的真值用T表示；若命题为假，它的真值用F表示。

    命题演算/ 命题逻辑：涉及命题的逻辑领域。

    命题的否定：

┐p，“不是p所说的情形”。（p真则┐p假；┐p假则p真。即：真假、假真）

<