离散数学：第一章第2节 公式和真值赋值201009final [兼容模式].pdfVIP

第一章命题逻辑 §1.2 公式和真值赋值 §1.1 命题和联结词 一个特定的命题是一个常值命题（Constant Proposition ）， §1.2 公式和真值赋值 它不是具有值“1”就是具有值“0” 。而一个任意的没有赋 予具体内容的原子命题是一个变量命题，常称为命题变元 §1.3 等值演算 （（或命题变量或命题变量）（）（PropositionalPropositional VariableVariable ））。 §1.4 对偶定理 命题逻辑语言使用两类符号：命题变元和联结词。公式是 §1.5 联结词的完全集 用来表示命题的符号串，类似于汉语中的句子。数理逻辑 §1.6 范式 语言是形式语言，这意味着：可以编制一个程序判定任意 §1.7 逻辑推论 符号串是否是公式。 命题逻辑的公式类似于中学代数的公式，只不过中 学代数的公式用于表示实数，命题逻辑的公式用于 复合命题是由原子命题和联结词构成的命题，当 表示真值。 其中的原子命题是命题变元时，此复合命题也即 中学代数 命题逻辑 为命题变元的“函数”，且该“函数”的值仍为 实变元x , y , z 等 命题变元p , q, r 等 “真”或“假”值，这样的函数称为“真值函数 （（TruthTruth ValueValue FunctionFunction ））”，，或称为命题公式或称为命题公式。 实数实数0, 0.5 等等 真值真值0, 1 实函数+, ×等 联结词¬, ∨, ∧, →等 当变元的值取定后， 当变元的值取定后， 公式取实数为值。 公式取0 或1 为值。 用归纳法定义公式集合。在数理逻辑和计算机科学 中常用归纳法定义集合。例如，某程序设计语言的 语句集可用巴科斯-诺尔(Backus-Naur) 范式定义如 定义1.4 命题变元称为原子公式。 下： C::= x = e |{C ; C }| if b then C else C | while b do C 例如，p , q, r 等都是原子公式。 1 2 1 2 其中其中::::= 读作读作 “定义为定义为”，|| 读作读作 “或者或者”，CC, CC , 原子公式是最简单的公式。 1 C2 表示语句，b 表示布尔表达式，x 表示实变元， e 表示实表达式。 有四类语句：赋值语句，复合语句，条件语句，