逻辑学课件第三讲 命题的判定与命题逻辑的形式证明.ppt

第三讲 命题的判定与命题逻辑的形式证明 一、真值函项 二、重言式 三、命题的真值判定方法 四、命题逻辑的形式证明及其推理规则 一、真值函项 1、真值形式 命题逻辑公式由命题联结词和命题变项构成。命题联结词只是从真值方面来定义，它们是一些真值联结词。命题变项也是只可作真值解释的变项，对它们只给以真值指派。由这样的变项和联结词构造的公式，只能具有真值属性。所以，它们被称作真值形式。 并非所有的命题形式都是真值形式。 如 因果命题：A，因为B 比较命题：A比B更…… 区分了递进和转折关系的联言命题：不但……而且…… 虽然……但是…… 真值形式也和其他具体科学的公式不同。 真值形式只是命题逻辑所特有的，命题逻辑只从真值角度研究思维的形式结构。 2、真值断定 每一真值形式都包含着有关它自身真值的某种断定。这种断 定就是根据它的变项的真值情况，断定真值形式自身有真的值或 有假的值。 真值形式作为一抽象的命题形式，本身无所谓真假。但真值 形式是由命题变项合真值联结词构成的，真值联结词规定了在变 项有什么值的情况下，公式有真值或假值。所以命题变项的真值 是指派的，而真值形式的值是被断定的。 一个具体复合命题，其中的支命题是具体的，真假是确定 的，我们能根据支命题的真假，唯一地确定复合命题的真假。所 以对于一个具体的复合命题，只能有一个断定，它或者是真的， 或者是假的。 真值断定是真值形式这种形式的内容。 3、真值函项 真值形式类似于数学中的函数。一个函数的值，依赖于其中变数的值。真值形式自身为真或为假的值，依赖于它所包含的变项的值，只不过真值形式的值以及其中包含的变项的值不是数值而是真值，所以真值形式中所包含的这种函数关系我们称作真值函项或真值函数。 每一种真值函项都规定着包含这一真值函项的真值形式怎样赋值。不同的真值函项有不同的赋值规定。 但有一个不同的真值形式便能有一个不同的真值函项吗？ 任何真值形式都表示一个真值函项，真值形式是真值函项的表现形式。一个真值函项可以由多个真值形式来表示，也就是说，不同的真值形式可以表示相同的真值函项。所以真值形式的数目可以多到无限，真值函项的数却是确定的。当变项的数目确定之后，真值函项的数目也就确定了。 给定n个不同的命题变项之后，仅含有这n个命题变项的真值函数的个数是确定的。 n个变项可能有的真假组合是2n 个，对于每种组合又都可以有两种断定：肯定和否定，对于2n 个组合，肯定和否定的组合共有2 个，所以如果以n为不同命题变项的个数，那么不同的真值函项有2 个。 设n=1，用“f（）”表示真值函项，那么有1个变项的公式表达的真值函项可用下表表示： f（1）是 p → p， ? （p ∧ ? p），p ∨ ? p等公式表达的真 值函项，表示不论变项有真值还是假值，公式总有真的真值。 f（2）是 p，p ∧ p，p ∨ p ，? ? p等公式等公式表达的真值 函项，表示这一函项等同于变项本身表达的真值。 f（3）是 ? p ， p → ? p， ? p ∨ ? p 等公式表达的真值函 项，表示这一函项的值与变项本身表达的值相反。 f（4）是 p ∧ ? p， ?（ p ∨ ? p）， ? （p→ p）等公式表 达的真值函项，表示不论变项有真值还是假值，公式总有假的 值。 f（1）表示不论p和q取何真值，公式都有真的真值。 f（2）表示p和q都取假值时才假的函项，如p ∨q， ?（ ? p ∧ ? q）等。 f（3）是? p→ ? q，q → p， p ∨ ? q等真值形式表达的函项，必要条件假言命题的形式表达这一函项。 f（4）是与p等值的真值函项，这一函项的真值与q的真值无关。 f（5）是蕴涵式p → q表示的真值函项。 f（6）是与q等值的真值函项，这一函项的真值与p的真值无关。 f（7）是等值式p?q表示的真值函项。 f（8）是合取式 p ∧ q表示的真值函项，只有当p，q都有真的值时，公式才有真的值。 f（9）是和f（8）矛盾的函项。 f（10）是和f（7）矛盾的函项，对不相容选言命题的抽象可以得到这种真值形式，表达 f（10） 的公式? （p?q）也称作反等值。 f（11）是和f（6）矛盾的函项，它的真值与p无关，而与非q的真值