离散数学笔记（一）-命题逻辑

命题:具有确定真值的陈述句【一个命题总是具有一个“值”，称为真值（True或False）】

1.原子命题：不能再进一步分解的陈述句

2.复合命题：由联结词、标点符号和原子命题复合构成的命题

3.命题常量：表示确定的命题的命题标识符

4.命题变元：只表示任意命题的位置标志的命题标识符【不能确定真值】

当命题变元 ╭P用一个特定的命题取代是，P确定真值→对P的指派

                  ╰表示原子命题时，称为原子变元

联结词：

 非（┐）、合取联结词（∧）、析取联结词（∨）、

蕴含式（p→q q是p的必要条件）

等价式（p和q互为充分必要条件）

▲命题p→q 为条件命题：如果P,则Q 当P的真值为T和Q的真值为F,命题p→q 的真值为F，否则，真值为T

▲如果P为假命题，不论Q是真是假，命题p→q 均为真

命题公式：由命题变元（有下标或者无下标的大写英文字母）联结词符号组成，从而形成一个字符串

1.合式公式：也叫命题公式，当且仅当按下列规则生成的公式：

（1）单个命题变元，本身是一个合式公式

（2）如果A是一个合式公式，则┐A也是一个合式公式

（3）如果A和B是合式公式，则A和B的组合都是合式公式

（4）经过有限次使用规则（1）、（2）、（3），从而得到的命题变元、联结词和圆括号组成的字符串，是合式公式

2.矛盾式：给定一命题公式，无论对分量做怎样的指派，其对应的真值永为F，则称该命题公式为永假式

3.重言式：给定一命题公式，无论对分量做怎样的指派，其对应的真值永为T，则称该命题公式为永真式

4.给定两个命题公式A和B，设p1、p2.....pn为所有出现A和B中原子变元，若给p1、p2、.....pn任一组真值指派，A和B的真值相同，则称A和B是等价或逻辑相等。