离散命题总纲

第一篇 数理结构

第一章

1.2 —— 联结词

1.否定
\qquad 设P为一命题，P的否定是一个新的命题，记作 $\neg$ P。若P为T，则$\neg$ P为F；若P为F，则 $\neg$ P为T。联结词“$\neg$”表示命题的否定。
2. 合取（与）
\qquad 两个命题P和Q的合取是一个复合命题，记作P $\bigwedge$ Q。当且仅当P,Q同时为T时，P$\bigwedge$ Q的真值为T，其他情况下，P $\bigwedge$ Q的真值都是F。
3. 析取（或）
\qquad 两个命题P和Q的析取是一个复合命题，记作P $\bigvee$ Q。当且仅当P,Q同时为F时，P $\bigvee$ Q的真值为F，否则P $\bigvee$ Q的真值都是T。
4. 条件
\qquad 给定两个命题P和Q，其条件命题是一个复合命题，记作
P $\to$ Q，读作“如果P，那么Q”或“若P，则Q”。当且仅当P的真值为T，Q的真值为F时P $\to$ Q的真值为F，否则P $\to$ Q的真值为T。我们称P为前件，Q为后件。
5. 双条件
\qquad 给定两个命题P和Q，其条件命题P $\rightleftharpoons$ Q称为双条件命题，读作“P当且仅当Q”，当P和Q的真值相同时，P $\rightleftharpoons$ Q的真值为T，否则P $\rightleftharpoons$ Q的真值为F。

1.3 —— 命题公式与翻译

1. 命题演算的合式公式(wff)
   (1)单个命题变元本身是一个合式公式。
   (2)如果A是合式公式，那么$\neg$ A是合式公式。
   (3)如果A和B是合式公式，那么(A $\bigwedge$ B),(A $\bigvee$ B),(A$\to$ B)和(A $\rightleftharpoons$ B)都是合式公式。
   (4)当且仅当能够有限次地应用(1),(2),(3)所得到的包含命题变元，联结词和括号的符号串是合式公式。

1.4 —— 真值表与等价公式

1. 在命题公式中，对于分量指派真值的各种可能组合，就确定了这个命题公式的各种真值情况，把它汇列成表，就是命题公式的真值表。
2. 给定两个命题公式A和B，设P₁,P₂,…,P_n为所有出现于A和B中的原子变元，若给定P₁,P₂,…,P_n任一组真值指派，A和B的真值都相等，则称A和B是等价的或逻辑相等。记作 A $\iff$ B。
3. 如果X是合式公式A的一部分，且X本身也是一个合式公式，则称X为公式A的子式。
4. 设X是合式公式A的子公式，若X $\iff$ Y，如果将A中的X用Y来置换，所得到公式B与公式A等价，即A $\iff$ B