逻辑学引论-华东师范大学数学系.pdf

逻辑学引论 Logic in Mathematics 华东师范大学数学系 羊丹平                           1    命题演算 4 数理逻辑，又称符号逻辑，是现代逻辑学的重要分支。借助于将逻辑研究对象 的符号化，可以用数学的方法研究逻辑学的问题，为逻辑学的研究提供了强有力的 技术和武器。符号逻辑的研究始于莱布尼兹，基于莱布尼兹的理想和设想：将哲学 家们争论的问题，变成数学计算。命题演算系统是最简单、最基本的形式系统，用 来表现较为简单的逻辑推理的数学模型。本章介绍命题演算的基本概念和方法。 4.1 复合命题的符号化 原子命题 （Atomic statement ）不包含任何其它命题作为组成部分的命题。 原子命题即为简单命题。 复合命题（Compound statement ）至少包含一个原子命题作为组成部分的命 题。 在命题逻辑中，简单命题是最小的基本单位，对它不再分解。将命题和论证符 号化，能够应用有力的数学技术对命题和论证进行逻辑演算和研究。我们用小写字 母 a 、b 、c 、… … 等表示命题。 命题的逻辑联接词：将几个原子命题联接起来构成一个复合命题的词项叫做 逻辑联接词，简称联接词。 基本逻辑联接词：否、合取、析取、蕴含和等价，对应符号为： 、 、 、 、 。     使用多个联接词可以组成更复杂的复合命题，此外还可以使用圆括号（），括 号必须成对出现。为简化和方便命题演算，规定基本联接词的优先顺序。 基本逻辑联接词优先顺序：( )、、 、 、 、 ，同一优先级，从左     到右顺序进行。 2    复合命题符号化的基本步骤： （1 ）找出各个原子命题，并逐个符号化。 （2 ）找出各个连接词，符号化成相应联结词。 （3 ）用联结词符号将原子命题符号逐个联结起来。 下面举一些命题符号化的例子。 例 4.1 王乐是计算机系的学生，生于 1980 年或 1981 年，是三好学生。  解答：设如下简单命题  p ：王乐是计算机系的学生。 q ：生于 1980 年。 r: 生于 1981 年. s: 是三好学生. 则 p (q r) s 。 例 4.2 路易斯喜欢烤宽薯条，仅当或者诺玛喜欢面条或者玛利亚喜欢甜馅当 且仅当奥利弗喜欢鸵鸟。（l：路易斯喜欢烤宽薯条，n ：诺玛喜欢面条，m ：玛利 亚喜欢甜馅，n ：奥利弗喜欢鸵鸟） 解答： l n(m n) 。 例 4.3 我们将失败，除非我们尽最大努力。（p ：我们失败；q ：尽最大努 力） 解答一： q p 。（如果不尽最大努力，我们将失败） 解答二： p q 。（或者尽最大努力，或者失败=不尽最大努力且不失败是不 可能的）   在中文表述中，“除非”是经常容易被混淆的词。例如：除非