1.2 真值表、公式分类、命题定律、代入置换课件.pptVIP

符号化、公式分类命题定律、代入置换 授课教师：程文刚 wgcheng@ncepu.edu.cn 复习 引论：离散数学、数理逻辑 命题 联结词 复习题： 本命题是假的。 我不给所有自己给自己理发的人理发，但是却会给所有自己不给自己理发的人理发。 本节内容 命题符号化 命题分类与命题变元 命题 原子命题：不包含任何联结词的命题 复合命题：至少包含一个联结词的命题 命题变元 一个不确定的泛指的任意命题 定义： 以真(1)、假(0)为其变域的变元 注意：命题变元不是命题，只有用一个特定的命题取代才能确定它的真值：真或假（对该命题变元指派真值） 命题公式 含有命题变元的断言称为命题公式 注意：不是所有由命题变元、联结词和括号所组成的字符串都能成为命题公式。 合式公式 原子公式 定义：单个命题变元和命题常元称为原子命题公式，简称原子公式。 合式公式 合式公式是由下列规则生成的公式： ①单个原子公式是合式公式。 ②若A是一个合式公式，则(lA)也是一个合式公式。 ③若A、B是合式公式，则(A∧B)、(A∨B)、(A→B)和(A ? B)都是合式公式。 ④只有有限次使用①、②和③生成的公式才是合式公式。 合式公式(Cont.) 例：下列符号串是否为命题公式。 （1） P→(Q∧PR）； （2）（P∨Q）→（?（Q∧R