1.1 命题逻辑
1.1.1 引言
逻辑规则给出数学语句的准确含义,这些规则用来区分有效和无效的数学论证。逻辑不仅对理解数学推理十分重要,而且在计算机科学中有许多应用。
1.1.2 命题
命题是一个陈述语句(即陈述事实的语句),它或真或假,但不能既真又假。
我们有字母来表示命题变元,它是代表命题的变量,就像用字母表示数值变量那样。习惯上用字母p,q,r,s.....表示命题。如果一个命题是真命题,它的真值为真,用T表示;如果他是假命题,其真值为假,用F表示。
涉及命题的逻辑领域称为命题演算或命题逻辑。它最初是2300多年前由古希腊哲学家亚里士多德系统地创建的。
复合命题的是由已知命题用逻辑运算符组合而来。
定义:令p为一命题,则p的否定记作