离散证明题集锦.pdfVIP

离散证明题集锦 一．命题逻辑 例：给出┐ (P ∧Q)? ( ┐ P∨┐Q)的真值表 解： P Q ┐(P ∧Q) ? ( ┐ P∨┐Q) 0 0 1 0 1 1 1 1 0 1 1 0 1 1 1 0 1 0 1 0 1 0 1 1 1 1 0 1 1 0 0 0 步骤 ② ① ③ ① ② ① 一般说来， n 个命题变元组成的命题公式共有 2n 种真值指派。 定理 1：任何两个重言式的合取或析取，仍然是重言式。 证明：设 A、B 为两个重言式，则 A∧B 和 A∨B 的真值分别等 于 T∧T 和 T∨T。 定理 2 ：对一个重言式的同一分量都用任何一个命题公 式置换，所得命题公式仍为一个重言式。 （即代入规则） 证明：由于重言式的真值与分量的真值指派无关， 故对同一分 量以任何一个命题公式置换后，重言式的真值不变。 1 定理 3 ：设 A、B 是两个命题公式， A B 当且仅当 A? B 是一个重言式。 （前面已证） 证明：若 A B，则对于 A、B 所包含的分量的任意指派， A、B 均取相同的真值， 即 A? B 是一个重言式； 若 A? B是一个重言式， 即 对于分量的任意指派， A、B 均取相同的真值，即 A B 定理 1：设 A1 是命题公式 A 的子公式，若 A1 B1，则 若将 A 中的 A1 用 B1来替换，得到公式 B ，则 B 与 A 等价，即 A B.( 替换规则 ) 。 证明： 因为对变元的任一组指派， A1 与 B1真值相同，故以 B1取代 A1 后，公式 B 与公式 A 相对于变元的任一指派的真值也必相 同，所以 A B。 证明下列命题公式 ( 可以利用基本等价式 ) Q → (P ∨(P ∧Q)) Q→P (P ∧Q)∨(P ∧┐Q) P (P →Q)→(Q∨R) P∨Q∨R P ∧┐Q∨Q P∨Q 解： 1. 原式 Q→(P ∨P) ∧(P ∨Q) Q→ P∧(P ∨Q) Q→P 2. 原式 ( （P∧Q）∨ P) ∧((P ∧Q) ∨┐Q) (P ∨P) ∧(P ∨Q) ∧(P ∨┐Q) ∧(Q∨┐Q) P∧(P ∨Q) ∧(P ∨┐Q) P∧P P 2 3. 原式