第/章命题逻辑 第1章命题逻辑 1,1命题及联结词 1,2命题公式与翻译 13真值表和等价公式 14重言式 15范式 16全功能联结词集 17对偶式与蕴含式 18命题逻辑的推理理论 返回总目录
第1章 命题逻辑 第1章 命题逻辑 1.1 命题及联结词 1.2 命题公式与翻译 1.3 真值表和等价公式 1.4 重言式 1.5 范式 1.6 全功能联结词集 1.7 对偶式与蕴含式 1.8 命题逻辑的推理理论 返回总目录
第/章命题逻辑 第1章命题逻辑 1.1命题及联结词 1.1.1命题的基本概念 在数理逻辑中把能判断真假的陈述句称为命题。一般 用小写英文字母或小写英文字母带下标表示。 命题的概念包含了以下3个要素: (1)只有陈述句才有可能成为命题,而其它的语句,如: 感叹句、祈使句、疑问句等都不是命题。 (2)一个语句虽是陈述句,但不能判断真假不是命题 (3)虽然要求命题能判断真假,但不要求现在就能确定 真假,将来可以确定真假也可以 个命题表达的判断结果称为命题的真值。命题的真 值有“真”和“假”两种,分别用True、T、1(真)和 False F、0(假)来表示。真值为真的命题称为真命题,真值为假 的命题称为假命题。任何命题的真值是惟一的
第1章 命题逻辑 第1章 命题逻辑 1.1命题及联结词 1.1.1 命题的基本概念 在数理逻辑中把能判断真假的陈述句称为命题。一般 用小写英文字母或小写英文字母带下标表示。 命题的概念包含了以下3个要素： ⑴只有陈述句才有可能成为命题，而其它的语句，如： 感叹句、祈使句、疑问句等都不是命题。 ⑵一个语句虽是陈述句,但不能判断真假不是命题。 ⑶虽然要求命题能判断真假，但不要求现在就能确定 真假，将来可以确定真假也可以。 一个命题表达的判断结果称为命题的真值。命题的真 值有“真”和“假”两种，分别用True、T、1(真)和False、 F、0(假)来表示。真值为真的命题称为真命题，真值为假 的命题称为假命题。任何命题的真值是惟一的
第/章命题逻辑 在命题逻辑中对命题不再细分,因而命题是数理逻辑中 最基本的也是最小的研究单位。 【例1.1】判断以下语句是否为命题。若是命题,确定 其真值 (1)上海是个小村庄 (2存在外星人。 (3)禁止吸烟! (4)北京是中国的首都 (5)4是素数或6是素数。 (6)今天你吃了吗? (7)11+1=100 (8我正在说谎 解:(1)命题(F),(2)命题(待定),(3不是命题(祈使句), (4)命题(T),(5)命题(F),(6)不是命题(疑问句),(⑦)命题(由 上下文确定),(8)不是命题(悖论)
第1章 命题逻辑 在命题逻辑中对命题不再细分，因而命题是数理逻辑中 最基本的也是最小的研究单位。 【例1.1】判断以下语句是否为命题。若是命题，确定 其真值。 ⑴上海是个小村庄。 ⑵存在外星人。 ⑶禁止吸烟！ ⑷北京是中国的首都。 ⑸4是素数或6是素数。 ⑹今天你吃了吗？ ⑺11+1=100 ⑻我正在说谎。 解：⑴命题(F)，⑵命题(待定)，⑶不是命题(祈使句)， ⑷命题(T)，⑸命题(F)，⑹不是命题(疑问句), ⑺命题(由 上下文确定),⑻ 不是命题(悖论)
第/章命题逻辑 表示命题的小写英文字母或带下标的小写英文字母常称 为命题标识符。如果命题标识符表示一个具体、确定的命题 称为命题常元。如果命题标识符表示任意一个命题,称为命 题变元。命题变元无确定的真值 命题是能判断真假的陈述句。而命题变元代表任意的命 题,其真值是不确定的。因而不是命题 如果一个命题不能再分解成更简单的命题,则称该命题 为原子命题。如果一个命题不是原子命题,称该命题为复合 命题。 如果命题变元表示原子命题时,该命题变元称为原子变 在自然语言中,可以通过“如果…,那么…” 不 但…,而且…”这样的连词将简单的陈述句联结成复合语句, 同样在命题逻辑当中,也可以通过命题联结词将原子变元联 结起来表示复合命题
第1章 命题逻辑 表示命题的小写英文字母或带下标的小写英文字母常称 为命题标识符。如果命题标识符表示一个具体、确定的命题， 称为命题常元。如果命题标识符表示任意一个命题，称为命 题变元。命题变元无确定的真值。 命题是能判断真假的陈述句。而命题变元代表任意的命 题，其真值是不确定的。因而不是命题。 如果一个命题不能再分解成更简单的命题，则称该命题 为原子命题。如果一个命题不是原子命题，称该命题为复合 命题。 如果命题变元表示原子命题时，该命题变元称为原子变 元。 在自然语言中，可以通过“如果…，那么…” ， “不 但…，而且…”这样的连词将简单的陈述句联结成复合语句， 同样在命题逻辑当中，也可以通过命题联结词将原子变元联 结起来表示复合命题
第/章命题逻辑 1.1,2命题联结词 常用的逻辑联结词有五种:否定联结 词、合取联结词、析取联结词、条件联结 表1.1 词和双条件联结词。 否定联结词 定义1.1.1设p为命题,则p的否定是 个复合命题,记作:p,读作“非p”或 p的否定”。定义为:若P为T,则v为F;1 若p为F,则p的真值为T p和一p的关系如表1.1所示,表1.1叫做否定联结词“ 的真值表(下同)。 联结词“”也可以看作逻辑运算,它是一元运算。 【例1.2】否定下列命题。 p:王强是一名大学生 P:王强不是一名大学生
第1章 命题逻辑 1.1.2 命题联结词 常用的逻辑联结词有五种：否定联结 词、合取联结词、析取联结词、条件联结 词和双条件联结词。 1. 否定联结词 定义1.1.1 设p为命题，则p的否定是一 个复合命题，记作：¬p，读作“非p ”或 “ p的否定” 。定义为：若P为T，则¬p为F； 若p为F，则¬p的真值为T。 表1.1 p ¬p 0 1 1 0 p和¬p的关系如表1.1所示，表1.1叫做否定联结词“¬” 的真值表(下同)。 联结词“ ¬ ”也可以看作逻辑运算，它是一元运算。 【例1.2】否定下列命题。 p：王强是一名大学生。 ¬p：王强不是一名大学生