给力离散小组倾血编制.docVIP

第一章 命题逻辑1-1 命题及其表示法 定义1：命题是一个具有确定真值的陈述语句。 注：真值表示真假的性质，其可能的取值只有“真”和“假”，通常用T或1表示真，F或0表示假。 例：5是一个整数。 3是偶数。 x+y=4。 你吃过饭了吗? 我正在说谎。 命题有两种形式：原子命题和复合命题。 定义2：原子命题是不能再分解为更简单命题的命题。 例：苏格拉底是哲学家。 如果天气好，那么我去散步。 注：1 原子命题的界定不宜绝对化； 2 原子命题常用大写字母A，B，…，P，Q，…或带下标的大写字母如P1来表示。 定义3：由原子命题、联结词或标点符号的复合构成的命题称复合命题。 例： 昨天下雨，今天也在下雨。 定义4：表示命题的符号称为命题标识符。 例：P:北京是中国的首都。 定义5：一个命题标识符如果表示确定的命题，称为命题常元；如果命题标识符可以表示某 类命题中的任何一个，称为命题变元。 思考：命题变元是命题吗？ 定义6：将一个命题变元P用一特定命题或真值去代替，它就有确定的真值，这称对P的指派，或解释，记为S(P)或I(P)。 显然，指派或解释是针对命题变元进行的。 命题的联结词 定义1：设P为一命题，P的否定是一个新的命题，记为┐P。若P为T， ┐P为F；若┐P为T，P为F。 例：P：上海不是一个大城市。 ┐P：？ 定义2：两个命题P和Q的合取是一个复合命题，记作P∧Q。当且仅当P、Q同时为T时，P∧Q为T，其他情况下P∧Q均为F。 例：P：地球是球形的。 Q: 牛顿是物理学家。 P∧Q: 地球是球形的并且牛顿是物理学家。 又如：P：拿破仑是科西嘉人。 Q: 拿破仑不是科西嘉人。 ( ┐P) P∧Q:拿破仑是科西嘉人并且拿破仑不是科西嘉人。 注： 1.∧是汉语中“与”、“和”、“并”的翻译，但不能绝对化。 2.合取在一起的两个命题不一定有实质的联系，也不一定是一致的，甚至可以将互为否定的命题合取在一起(该注释对其他逻辑联结词也适用)。 定义3：两个命题P和Q的析取是一个复合命题，记作P∨Q。当且仅当P、Q同时为F时，P∨Q的真值为F；否则P∨Q的真值为T。 例： P：机器有故障。 Q：开关有故障。 P∨Q：机器有故障或开关有故障。 注：∨是汉语中“或” 的翻译，但不能绝对化。特别应注意区分“可兼或”和“排斥或”。 例：1.今晚我在家看电视或去同学家玩。 2.他可能是100米或400米赛跑的冠军。 3.他昨晚做了二十或三十道习题。 其中，例1中的“或”为“排斥或”，例2中的“或”为“可兼或”，而例3中的“或”，不是联结词，只表示习题的近似数，因此3不是一个复合命题，而是一个原子命题。（排斥或与可兼或的命题符号表达形式见后文） 定义4：给定两个命题P和Q，其条件是一个复合命题，记作P→Q，读作“如果P，那么Q” 或“P条件Q”。当且仅当P的真值为T，Q的真值为F时，P→Q的真值为F;否则P→Q的真值为T。称P为前项，Q为后项。 例：P： 月亮下山。 Q： 3+3=6。 P→Q： 如果月亮下山,则3+3=6。 注：1.虽然上例的P、Q之间并无实际联系，但只要P、Q可分别确定真值，即可用“→”联结。 2.Q→P称为P→Q的逆命题； ┐P→┐Q称为P→Q的否命题； ┐Q→┐P称为P→Q的逆否命题。 3.前项P为F时，无论后项Q取何真值,P→Q的真值均为T，这是所谓的“善意推定”。 定义5：给定两个命题P和Q，复合命题P?Q称作双条件命题，读作“P当且仅当Q”，当P和Q的真值相同时，P?Q的真值为T，否则P?Q的真值为F。 注：双条件?的其他表示法。 例： P： 1+1=3。 Q： 雪是白的。 P?Q： 1+1=3当且仅当雪是白的。 1-3 命题公式与翻译 定义1：命题常元、命题变元统称为原子命题公式，简称原子公式。 定义2： 合式公式是由下列规则形成的字符串： 1)真值T和F是合式公式。 2)原子命题公式是一个合式公式。 3)如果A是合式公式，那么┐A是合式公式。 4)如果A和B是合式公式，那么(A∧B)、(A∨B)、 (A→B)和(A?B)都是合式公式。 5)经过有限次地应用2)、3)和4)所得到的包含命题变元，联结词和括号的符号串是合式公式。 例：指出(P→(P∨Q))中的哪些部分是命题公式，如果是，则具体说明它是如何生成的 解： ① P