Table of Contents

明晰夢による現実の証明手法

前提

証明

  1. 前提より
    • $P_1: A\cap B\iff C$
    • $P_2: C \implies D$
  2. $P_1,P_2$より,三段論法を用いて
    • $P_3: A \cap B \implies D$
  3. $P_3$の対偶より
    • $P_4: \overline{D}\implies \overline{A\cap B}$
  4. $P_4$より,ド・モルガンの公式を用いて
    • $P_5: \overline{D}\implies \overline{A} \cup \overline{B}$
  5. $B$は意図的に真にできるため,$P_5$より
    • $\overline{D}\cap B \implies \overline{A}$

結論