第一章-命题逻辑2.pptx

第一章命题逻辑第2节 公式和真值赋值提纲基本概念：集合、函数、归纳法、数理逻辑1.1命题和联结词1.2公式和真值赋值1.3等值演算 1.4对偶定理1.5联结词的完全集1.6范式1.7逻辑推论1.2公式和真值赋值公式真值表计算语义性质及证明公式 数学中的公式 常数 实数变量（变元） 取值范围 实函数 命题逻辑中的公式 常元 0,1 命题变元 p q r s 取值范围 真值函数归纳定义 归纳定义：定义集合的一种方法。 给出若干规则用于生成集合中的元素；再说明只有由这些规则生成的对象才是这个集合中的元素。 例如：自然数归纳定义 （1）0?N （2）对于任何n，如果n?N，n 是n的唯一后继， 则n ?N （3）只有由(有限次使用)上述（1）和（2）生成的n?N公式命题逻辑中,命题变元称为原子公式 设S是联结词集合，由S生成的公式定义为： 原子公式是由S生成的公式 若c是S中的0元联结词，则c是由S生成的公式 若n?1，F是S中的n元联结词，A1,…,An是 由S生成的公式，则F(A1,…,An)是由S生成的公式公式运算符表示法前缀表示，FA1…,An;中缀表示，A1FA2;后缀表示，A1…,AnF(命题逻辑)公式常元0和1是公式；命题变元是公式；若Q, R是公式，则：(?Q)、(Q ? R) 、(Q ? R) 、(Q?R) 、(Q ? R) 、(Q ? R)是公式；公式是由上面三条规