1.3 命题公式与翻译 1.4真值表与等价公式

1.3 命题公式与翻译

命题公式

\qquad 原子命题：不包含任何联结词的命题
\qquad 复合命题：至少包含一个联结词的命题
\qquad 设P和Q是任意两个命题，则¬P，P$\bigwedge$ Q等都是复合命题。
\qquad 若P和Q是命题变元，则上述各式均称命题公式。P和Q称作命题公式的分量。
\qquad 注意：命题公式没有真假值，仅当一个公式中命题变元用确定的命题带入时，才得到一个命题。这个命题的真值，依赖于变元的那些命题的真值。此外，并不是由命题变元，联结词和一些括号组成的字符都能称为命题公式。

命题演算的合式公式(wff)(well former formula),规定为：

(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)称为基础，(2), (3)称为递归，(4)称为界限。
例如：¬(P$\bigwedge$ Q),¬(P $\to$ Q)等

翻译

例题

以符号形式写出命题
\qquad 例1：我们要做到身体好，学习好，工作好，为祖国四有建设而奋斗。
解：A：我们要做到身体好。
B：我们要做到学习好。
C：我们要做到工作好。
D：我们要为祖国四有建设而奋斗。
转化为：(A $\bigwedge$ B $\bigwedge$ C) $\bigvee$ D
\qquad 例2：上海到北京的14次列车是下午五点半或六点开。
解：P：上海到北京的14次列车是下午五点半开。
Q：上海到北京的14次列车是下午六点开。
汉语的”或“是不可兼或，而逻辑联结词 $\bigvee$ 是”可兼或“，因此不能直接对两个命题析取。

P	Q	原命题	P $\rightleftharpoons$ Q	$\neg$(P $\rightleftharpoons$ Q)
T	T	F	T	F
T	F	T	F	T
F	T	T	F	T
F	F	F	T	F

此问题表达式为：$\neg$(P $\rightleftharpoons$ Q)。

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

例题1：构造¬P$\bigvee$Q的真值表
$$表1-4.1$$

P	Q	¬P	¬P$\bigvee$Q
T	T	F	T
T	F	F	F
F	T	T	T
F	F	T	T

例题2：给出(P $\bigwedge$ Q) $\bigwedge$ ¬ P的真值表

全部为F
$$表1-4.2$$

P	Q	P$\bigwedge$Q	¬P	(P$\bigwedge$Q) $\bigwedge$ ¬ P
T	T	T	F	F
T	F	F	F	F
F	T	F	T	F
F	F	F	T	F

例题3：(P $\bigwedge$ Q) $\bigvee$ (¬ P$\bigwedge$¬ Q)
$$表1-4.3$$

P	Q	¬ P	¬ Q	P$\bigwedge$Q	¬ P$\bigwedge$¬ Q	(P $\bigwedge$ Q) $\bigvee$ (¬ P$\bigwedge$¬ Q)
T	T	F	F	T	F	T
T	F	F	T	F	F	F
F	T	T	F	F	F	F
F	F	T	T	F	T	T

例题4：¬(P$\bigwedge$Q)$\rightleftharpoons$ (¬P$\bigvee$¬Q)全部为T

等价

1. ¬ P$\bigvee$Q $\iff$ P $\to$ Q
2. P $\rightleftharpoons$ Q $\iff$ (P $\bigwedge$ Q) $\bigvee$ (¬P $\bigwedge$ ¬Q)
3. P $\rightleftharpoons$ Q $\iff$ (P $\to$ Q) $\bigwedge$ (Q $\to$ P)

$$表1-4.5$$

命题定律	表达式	序号
对合律	$\neg \neg$P $\iff$ P	1
幂等律	P $\bigvee$ P $\iff$ P P $\bigwedge$ P $\iff$ P	2
结合律	(P $\bigvee$ Q) $\bigvee$ R $\iff$ P $\bigvee$ (Q $\bigvee$ R) (P $\bigwedge$ Q) $\bigwedge$ R $\iff$ P $\bigwedge$ (Q $\bigwedge$ R)	3
交换律	P $\bigvee$ Q $\iff$ Q $\bigvee$ P P $\bigwedge$ Q $\iff$ Q $\bigwedge$ P	4
分配律	P $\bigvee$ ( Q $\bigwedge$ R) $\iff$ (P $\bigvee$ Q) $\bigwedge$ (P $\bigvee$ R) P $\bigwedge$ ( Q $\bigvee$ R) $\iff$ (P $\bigwedge$ Q) $\bigvee$ (P $\bigwedge$ R)	5
吸收律	P $\bigvee$ ( P $\bigwedge$ Q) $\iff$ P P $\bigwedge$ ( P $\bigvee$ Q) $\iff$ P	6
德·摩根律	$\neg$ (P $\bigvee$ Q) $\iff$ $\neg$ P $\bigwedge$ $\neg$ Q $\neg$ (P $\bigwedge$ Q) $\iff$ $\neg$ P $\bigvee$ $\neg$ Q	7
同一律	P $\bigvee$ F $\iff$ P P $\bigwedge$ T $\iff$ P	8
零律	P $\bigvee$ T $\iff$ T P $\bigwedge$ F $\iff$ F	9
否定律	P $\bigvee$ $\neg$P $\iff$ T P $\bigwedge$ $\neg$P $\iff$ F	10