命题逻辑地基本概念.pptVIP

Lu Chaojun, SJTU * 命题公式 在由命题变项通过联结词构成复杂命题时,如何才是有意义的命题? 例如: ?P?Q?R.(意义明确吗?) 定义(命题公式): (1)命题变元(原子命题)是命题公式. (2)如果?、?是公式,那么(??), (? ?? ), (? ?? ), (??? )和(??? )是命题公式. (3)命题公式仅限于此. 上面这种定义方式是形式系统常用的合式定义,所定义的公式称为合式公式(well-formed formula,简记为wff). * 1+2;2+4/5; 3*3+1 1+2-; 1-/3 Lu Chaojun, SJTU * 判断符号串是否wff 根据公式的合式定义,层层归约,直到原子命题即可判断. 例子 ?(P?Q) (??P?(P?Q)) (((P?Q)?(Q?R))?(P?R)) ?(?P) 这个公式是wff ? ((P?Q)?(?Q)) (P?Q * Lu Chaojun, SJTU * 简写约定 为了减少括号的数量,可以引入优先级的约定. 例如按?,?,?,?,?的次序安排优先级. 相同联结词按从左到右的优先次序. 例: (P?(Q?R))可写成P?(Q?R),进而写成P?Q?R. (P?(P?R))可写成P?(P?R),但不能写成P?P?R. * Lu Chaojun, SJTU * 无括号表示