离散数学：命题逻辑的基本概念

参考教材：离散数学（屈婉玲等，高等教育出版社，2015）

本书共分分为6个部分，19章。接下来将是第一部分：数理逻辑 的第一章 命题逻辑的基本概念

1.1 命题与联结词

命题：非真即假的陈述句

真值：判断结果，真或假

否定联结词，否定式

合取联结词，合取式

析取联结词，析取式

（析取联结词与自然语言的中的“或”不完全一样，自然语言中的“或”具有二义性，有时相容性，有时排斥性。

张晓静爱唱歌或爱听音乐 相容或

张晓静是江西人或安徽人 排斥或）

蕴含连接词 蕴涵式

（前件，后件  后件是前件的？必要条件）

等价联结词，等价式

1.2 命题公式及其赋值

命题常项，命题变项

真值表

重言式或永真式

矛盾式或永假式

可满足式

哑元

转载于:https://www.cnblogs.com/jackherrick/p/7079177.html