作者:离散梦
欢迎大家给出宝贵的建议!
命题逻辑的基本概念
1.1 命题与联结词:
非真即假的陈述句称作命题。【祈使句、疑问句、感叹句、悖论都不是命题】
作为命题的陈述句所表达的判断结果称作命题的真值,真值只取两个值:真或假。
真值为真的命题称作真命题,真值为假的命题称作假命题。
不能被分解成更简单的命题称作简单命题或原子命题:
由简单命题通过联结词联结而成的命题,称作复合命题。
定义1
设p为命题,复合命题“非p”(或“p的否定”)称作p的否定式,记作。符号
称作否定联结词。规定
为真当且仅当p为假。
定义2
设p,q为两个命题,复合命题“p并且q”(或“p与q”)称为p与q的合取式,记作。
称作合取联结词。规定
为真当且仅当p与q同时为真。
定义3
设p,q为两个命题,复合命题“p或q”称作p与q的析取式,记作,
称作析取联结式。规定
为假当且p与q同时为假。
定义4
设p,q为两个命题,复合命题“如果p,则q”称为p与q的藴涵式,记作,并称p是蕴含式的前件,q为蕴含式的后件。
称作蕴涵联结词。并规定
为假当且仅当p为真q为假。
定义5
设p,q为两个命题,复合命题“p当且仅当q”称作p与q的等价式,记作,
称作等价联结词,规定
为真当且仅当p与q同时为真或同时为假。
1.2 命题公式及其赋值:
简单命题是命题逻辑中最基本的研究单位,其真值是确定的,又称作命题常项或命题常元。
取值1(真)或0(假)的变元称作命题变项或命题变元。【命题变项不是命题,p,q,r,…既可以表示命题常项,也可以表示命题变项。在使用中,需要由上下文确定它们表示的是常项还是变项。】
将命题变项用联结词和圆括号按照一定的逻辑关系联结起来的符号串称作合式公式。当使用联结词集时,合式公式定义如下:
定义6
(1)单个命题变项是合式公式,并成为原子命题公式。
(2)若A是合式公式,则是合式公式。
(3)若A,B是合式公式,则是合式公式。
(4)有限次地应用(1)~(3)形成的符号串是合式公式。
合式公式也称作命题公式或命题形式,简称为公式。
定义中引进了A,B等符号,用它们表示任意的合式公式,称作元语言符号。而某个具体的公式,如等称作对象语言符号。
定义7
(1)若公式A是单个的命题变项,则称A为0层公式。【p,q,r......】
(2)称A是n+1(n>=0)层公式是指下面情况之一。
(a) ,B是n层公式。
(b) ,其中B,C分别为i层和j层公式,且n=max(i,j);
(c) ,其中B,C的层次及n同(b);
(d) ,其中B,C的层次及n同(b);
(e) ,其中B,C的层次及n同(b);
(3)若公式A的层次为k,则称A是k层公式;
例如,分别为3层和4层公式。
定义8
设p1,p2,......,pn是出现在公式A中的全部命题变项,给p1,p2,......,pn各指定一个真值,称为对A的一个赋值或解释。若指定的一组值使A为1,则称这组值为A的成真赋值;若使A为0,则称这组值为A的成假赋值。
定义9
将命题公式A在所有赋值下取值情况列成表,称作A的真值表。
定义10
设A为任一命题公式。
(1)若A在它的各种赋值下取值均为真,则称A为重言式或永真式。
(2)若A在它的各种赋值下取值均为假,则称A为矛盾式或永假式。
(3)若A不是矛盾式,则称A为可满足式。
真值表可用来判断公式的类型:
(1)若真值表最后一列全为1,则公式为重言式。
(2)若真值表最后一列全为0,则公式为矛盾式。
(3)若真值表最后一列中至少有一个为1,则公式为可满足式。
定义11
设公式A,B中共含有命题变项p1,p2,......,pn,而A或B不全含这些命题变项,例如,A中不含Pi,p(i+1),.....,pn,i>=2,称这些命题变项为A的哑元。