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