証明に役立つ含意（→）の性質 公開日：2021年6月8日 数理論理学 このページのまとめ $P \to Q$が「真」のとき、$P$が「真」であることを示せれば、$Q$が「真」であることを証明できる 含意の真理値表 含意（$\to$）の真理値表は下記のとおりです。 $P$ $Q$ $P \t […] 続きを読む
