命题变项与合式公式-20140910203407490

【文件属性】：

文件名称：命题变项与合式公式-20140910203407490

文件大小：245KB

文件格式：PPT

更新时间：2024-05-16 03:00:15

数学

命题变项与合式公式 命题常项 命题变项（命题变元） 常项与变项均用 p, q, r, …, pi, qi, ri, …, 等表示. 定义1.6 合式公式（简称公式）的递归定义： (1) 单个命题变项和命题常项是合式公式, 称作原子命题公式 (2) 若A是合式公式，则 (A)也是 (3) 若A, B是合式公式，则(AB), (AB), (AB), (AB)也是 (4) 只有有限次地应用(1)—(3) 形成的符号串才是合式公式 几点说明： 归纳或递归定义, 元语言与对象语言, 外层括号可以省去