离散数学第一章命题逻辑

最新推荐文章于 2025-03-05 20:32:05 发布

原创

最新推荐文章于 2025-03-05 20:32:05 发布 · 3.9k 阅读

标签

#数学

本文详细介绍了命题逻辑的基础概念，包括命题、逻辑联结词及其优先级，重点讨论了命题公式的等价性、范式表示以及蕴含关系。通过命题定律、等价变换法和推理规则，阐述了如何进行有效的命题逻辑推理。此外，还探讨了命题公式的完备集和蕴涵的性质，为理解逻辑推理提供了坚实基础。

1.1 命题与逻辑联结词

1.1.1 四个定义

定义1：命题是能够确切判断其断言是真或假的陈述句。

定义2：悖论是不能判断真假的陈述语句。

定义3：命题标识符为表示命题的符号。

命题常元—>确定的命题；命题变元—>不是命题

定义4：用一个具体的命题代入命题标识符p的过程（对p的解释/指派）

1.1.2 命题的分类

1.原子命题

2.复合命题：或者、并且、不、如果...、则...、当且仅当

1.1.3 逻辑联结词

1.否定联结词——~

2.合取—— $\wedge$

3.析取—— $\vee$

4.不可兼或（异或）—— $\bigtriangledown$        两命题1真1假为真

5.条件（如果P则Q）—— —>      ~P $\vee$ Q<=>P—>Q

        ※形式条件命题&实质条件命题（—>）

        在实质条件命题中，当前提是假时，则不管后件是真是假，条件命题一定为真！

6.双条件（P，Q值相同时，P<—>Q为真）—— <—>同或