#3 論理積、論理和、否定、含意の性質を確認する 公開日:2021年6月9日 数学について このページのまとめ 論理積「$\land$」、論理和「$\lor$」、否定「$\lnot$」、含意「$\to$」の性質を確認する $ (P \land P)$と$P$は置き換え可能(反射律という) $(P \land Q […] 続きを読む
#2 P⇔Q(同値)について 更新日:2021年6月8日 公開日:2021年6月7日 数学について このページのまとめ $(P \to Q) \land (Q \to P)$を$P \leftrightarrow Q$(同値)と書く 命題$P$、$Q$が同値であるとは、$P$と$Q$がともに「真」、または、ともに「偽」 […] 続きを読む
#1 論理積、論理和、否定、含意の真理値表を確認する 更新日:2021年6月7日 公開日:2021年6月4日 数学について このページのまとめ 基本の論理式の真理値表を確認する 基本の論理式は、論理積「$\land$」、論理和「$\lor$」、否定「$\lnot$」、含意「$\to$」の4つ これらの論理式は公理にも出てくるので、どういった意 […] 続きを読む