节包括：第一章引论第二章复合命题及其推理第三章真值表的判定作用第四章简单命题的基本要素—概念第五章

章绪论第二章命题的逻辑分析第三章命题推理第四章真值表方法与命题演算第五章传统谓词逻辑第六章谓词演算

一、完全真值表法的判定功用 二、归谬赋值法的操作与判定 三、命题演算证明方法的应用与构造

对于任何一个逻辑函数的功能描述都可以作出真值表，根据真值表可以写出该函数的最小项之和及最大项之积的形式

第一节 真值表方法 第二节 命题演算的证明方法 第三节 假设证明法与反证法的区别与综合应用 一、假设证明法与反证法的区别 二、假设证明法与反证法的综合应用 1、在证明中的综合应用 2、在推理中的综合应用 三、命题逻辑定理的证明

分析目的: 找出给定逻辑电路输出和输入之间的逻辑关系,了解其逻 辑功能。 分析步骤: ①电路→逻辑函数式 ②化简 ③逻辑函数式→真值表 ④逻辑函数式、真值表概括出逻辑功能

一、上节介绍了将命题表示为符号串。 二、是否每个符号串都是命题呢? pq→ 三、什么样的符号串才能表示命题呢? 如下命题形式定义的符号串表示的才是命题