[离散数学第一章.docVIP

1.1命题及其表示法 1.1.1 命题的概念 数理逻辑将能够判断真假的陈述句称作命题。 1.1.2 命题的表示 命题通常使用大写字母A，B，…，Z或带下标的大写字母或数字表示，如Ai，[10]，R等，例如 A1：我是一名大学生。 A1:我是一名大学生. [10]：我是一名大学生。 R：我是一名大学生。 1.2命题联结词 1.2.1 否定联结词﹁P 0 1 1 0 1.2.2 合取联结词∧ 0 0 0 0 1 0 1 0 0 1 1 1 1.2.3 析取联结词∨ 0 0 0 0 1 1 1 0 1 1 1 1 1.2.4 条件联结词→ 0 0 1 0 1 1 1 0 0 1 1 1 1.2.5 双条件联结词 0 0 1 0 1 0 1 0 0 1 1 1 1.2.6 与非联结词↑ 0 0 1 0 1 1 1 0 1 1 1 0 性质： P↑P﹁（P∧P）﹁P； （2）（P↑Q）↑（P↑Q）﹁（P↑Q） P∧Q； （3）（P↑P）↑（Q↑Q）﹁P↑﹁Q P∨Q。 1.2.7 或非联结词↓ 0 0 1 0 1 0 1 0 0 1 1 0 性质： （1）P↓P﹁（P∨Q）﹁P； （2）（P↓Q）↓（P↓Q）﹁（P↓Q）P∨Q； （3）（P↓P）↓（Q↓Q）