离散数学第二版屈婉玲-全网声音最温柔的老师主讲
命题逻辑1.1第一次讲解1 P1 - 00:00
【离散课程概述】
•产生于数学游戏
•数学语言学习与应用：形式化逻辑思维认识与解决问题、形式化证明
•知识表示与处理
•计算科学中的应用
【学时分配】
主要在：
•数理逻辑（符号逻辑）
•集合论
•代数系统
•图论
1.2讲解1 P3 - 00:00
【命题公式】（合式公式/命题形式/公式）
命题常项、命题变项（真值表可为0/1）
*归纳定义*：单个命题变项称为合式公式/原子命题公式
•～的层次
单个命题变项为零层
经过一次命题赋值运算后增加一层
逻辑运算取大
•～的赋值
固定命题的真值
•真值表：公式中所有命题变项组成的序列对应的二进制数字，从低到高写出公式真值
【真值表练习】
【附：解答】
1.2讲解2 P4 - 00:00
例1.5讲解 P5 - 00:00
讨论题课后习题第8题的讲解 P6 - 00:00
习题讲解直播（命题公式及其赋值... P7 - 00:00
第一章考试题目讲解 P8 - 00:00
第二章 命题逻辑等值运算 2.1讲解1 P9 - 00:00
【等值式】
•概念
*注*等值符号为元语言符号，注意与等号、等价号区分
•真值表表判断～
•～演算（律、式）
1双重否定2幂等3交换4结合
（关于合取析取的->）5分配6德摩根7吸收
8零（析取1合取0）9同一（析取0合取1）
10排中（析取非，得1）11矛盾（合取非，得0）
12蕴含的等值式（A蕴涵于B等值于非A析取B）
13等价的等值式（等价等值于相互蕴含的合取）
14假言易位（逆否）15等价的否定等值式
16归谬论（反证法：同一条件推出互否结论，则否定条件）
