离散数学第2版教学课件-等价置换.pdfVIP

1.4.2 等价置换 1.4.2 等价置换 定义1.13 如果X是命题公式A的连续的一部分，且X本身也是一个命题公式， 则称X为公式A的子公式。 例1.30 公式(﹁ ∧ )是公式(﹁ ∧ (﹁ ∧ )) ∨ ( ∧ ) ∨ ( ∧ )的子公式， 68% 但 ∨ ( ∧ )却不是公式(﹁ ∧ (﹁ ∧ )) ∨ ( ∧ ) ∨ ( ∧ )的子公式， 因为∨(B∧C )虽是公式(﹁A∧(﹁B∧C ))∨(B∧C )∨(A∧C )中连续的一部分，但它自身不是公式。 Sed ut perspiciatis 因为∨ ( ∧ )虽是公式(﹁ ∧ (﹁ ∧ )) ∨ ( ∧ ) ∨ ( ∧ )中连续的一