数学:細かすぎる証明・計算

数学について細かく証明したり計算します。

年別: 2021年

証明に役立つ含意(→)の性質

このページのまとめ $P \to Q$が「真」のとき、$P$が「真」であることを示せれば、$Q$が「真」であることを証明できる 含意の真理値表 含意($\to$)の真理値表は下記のとおりです。 $P$ $Q$ $P \t […]

#2 P⇔Q(同値)について

このページのまとめ $(P \to Q) \land (Q \to P)$を$P \leftrightarrow Q$(同値)と書く 命題$P$、$Q$が同値であるとは、$P$と$Q$がともに「真」、または、ともに「偽」 […]