第编数理逻辑.pptVIP

6.1 命题的概念与表示 真值：命题的判断结果称为真值。只有“真”和“假”两种，记为“T”和“F”，或“1”和“0”。 例： 命题常量：一个命题标识符表示确定的命题。 6. 2 命题联结词 合取∧(并且) 与自然语言不同。 析取∨(或者) 日常语言中的“或者”可分“可兼或”与“不可兼或”两种： 不可兼析取?? (排斥析取) 蕴含→(条件) 例2: “如果我得到这本小说，那么我今天就读完它”。将命题符号化，并求命题的真值。 例3: “如果雪是黑的，那么太阳从西方出”。将命题符号化，并求命题的真值。 P→Q中P称为前件，Q称为后件。 等价(双条件) 例2: “燕子飞回南方，春天来了”。将命题符号化，并求命题的真值。 复合命题：设 A1,A2,…An是命题,用五种逻辑联结词将这n个命题联结起来，得到一个新命题，称为复合命题。 练习1. 设命题P，Q的真值为1，命题R，S的真值为0，试确定下面命题的真值： (P∧Q∧R)∨?((P∨Q)∧(R∨S)); 6.3 命题公式的翻译与解释 命题公式：由命题变项、联结词、括号按一定规则组成的合式公式为命题公式。 定义 设G是公式，A1, A2,…, An 是出现在G中的所有原子, 指定 A1,A2,…..An 一组真值, 则这组真值称为G的一组赋值(解释、指派）, 记作I。 例: 求G ? P ? (Q ? ?R)