#1 論理積、論理和、否定、含意の真理値表を確認する
- 更新日：
- 公開日：
このページのまとめ 基本の論理式の真理値表を確認する 基本の論理式は、論理積「$\land$」、論理和「$\lor$」、否定「$\lnot$」、含意「$\to$」の4つ これらの論理式は公理にも出てくるので、どういった意 […]
日別: 2021年6月4日
【問題】（P→Q）と（￢P∨Q）が論理的に同値であることを示せ（含意は書き換え可能）－数理論理学
- 更新日：
- 公開日：
【問題】$(P \to Q)$と$ (\lnot P \lor Q)$が論理的に同値であることを示せ 命題変数$P$、$Q$に対して$(P \to Q) $と$(\lnot P \lor Q)$が論理的に同値であることを […]
【問題】集合Xに対して和集合の公理が主張する集合が一意に定まることを証明せよ－集合論（和集合の公理＆外延性の公理）
- 更新日：
- 公開日：
【問題】集合$X$に対して和集合の公理が主張する集合が一意に定まることを証明せよ 集合$X$に対して和集合の公理が主張する集合が一意に定まることを証明せよ 和集合の公理 $\forall X \, \exists A \ […]