【学习目标】 通过本章的学习,应达到: ◇ 理解并掌握命题逻辑的基本概念,包括理解什么是命题,命题变项,简单命题和复合命题; ◇ 熟练掌握五个常用的命题联结词及其真值表,掌握命题与真值表的关系,以及由简单命题通过联结词构造复合命题的方法; ◇ 理解合式公式的概念,掌握重言式、永假式和可满足公式的区别与判别方法; ◇ 理解命题形式化的步骤与方法,掌握将简单自然语句利用命题联结词进行形式化的方法。 【学习指南】 本章的特点是基本概念多,联结词符号多。主要内容是研究命题逻辑的基本结构以及自然语句的形式化方法。首先要认真理解掌握好命题逻辑的基本概念,这是学习后续内容的基础。符号语言是自然语言叙述的简化。因此,应研究将命题符号化的规律,理解这些符号的含义;不同的命题联结词有不同的真值关系,满足不同的运算与推理规则。学习时要特别注意命题联结词的特点和差异,在理解的基础上记住并掌握它们的运算规律,并能够把它们融为一体,再进行正确合理的使用。在学习自然语句形式化方法时,要特别注意自然语言与逻辑中的命题联结词在表达上的差异,从而实现用命题联结词准确表达自然语句中的客观规律和逻辑内容的目的。 【重点和难点】 本章的重点和难点如下: ◇ 命题的概念,注意只有陈述句才可能是命题,并注意理解区分那些虽然是陈述句但不是命题的情形,如悖论; ◇ 命题联结词中,蕴涵词 的理解和掌握是本章的一个重点和难点,从本质上理解蕴涵词的表示的因果关系与自然语言的不同; ◇ 自然语句形式化是本章学习的核心内容,也是综合运用几种命题联结词的集中体现。要着重掌握形式化的过程,特别是命题联结词与自然语言用语的联系与区别; ◇ 命题逻辑联结词及其真值表是命题逻辑中的基本工具,必须重点熟练掌握。 【预习思考题】 ◇ 日常的自然语言如何用计算机表示? ◇ 什么是命题?什么是真值,真命题,假命题? ◇ 什么是联结词?它们的主要性质都是什么? ◇ 什么是合式公式?什么是重言式,矛盾式和可满足式? ◇ 为什么要使用波兰式? |