离散数学

image-20240227224910888

image-20240227224918298

命题逻辑

image-20240227225800164

image-20240227225806982

image-20240227225426319

image-20240227225426319

image-20240227230954624

image-20240227231001739

image-20240227231021534

image-20240227231023100

命题联结词

否定，合取，析取，蕴含(条件)、等值

image-20240227225920996

image-20240227225925163

image-20240227225942300

image-20240227225946119

image-20240227234831447

image-20240227234833876

需要注意的有：

  1. 条件（蕴含）：当且仅当 P 为真，Q 为假时，P→Q 为假；否则， P→Q 均为真。
    条件 → 决定了哪个作为前件，哪个作为后件。
  2. 双条件（等值）：当且仅当P、Q相同的时候，P↔Q为真，否则为假。
  3. 优先级：

否定 > 合取 > 析取 > 条件 > 双条件

image-20240228000539248

一阶逻辑

集合的基本概念和运算

二元关系和函数

图的基本概念

特殊的图

树