【問題】P→Pが恒真式(トートロジー)であることを確認せよ-数理論理学 更新日:2021年6月10日 公開日:2021年5月20日 数理論理学 【問題】P→Pが恒真式(トートロジー)であることを確認せよ 命題変数Pに対して論理式P→Pが恒真式(トートロジー)であることを確認せよ。 回答 P→Pの真理値表を確認します。 命題変数Pに […] 続きを読む
【問題】¬(P∧¬P)が恒真式(トートロジー)であることを確認せよ(無矛盾律)-数理論理学 更新日:2021年6月10日 公開日:2021年5月20日 数理論理学 【問題】¬(P∧¬P)が恒真式(トートロジー)であることを確認せよ 命題変数Pに対して論理式¬(P∧¬P)が恒真式(トートロジー)であることを確認せ […] 続きを読む
【問題】P∧¬Pの真理値表を求めよ(矛盾)-数理論理学 更新日:2021年6月9日 公開日:2021年5月20日 数理論理学 【問題】P∧¬Pの真理値表を求めよ 命題変数Pに対して論理式P∧¬Pの真理値表を求めよ。 回答 命題変数Pは真(T)、偽(F)の2パターンあります。この2パター […] 続きを読む
【対の公理より】集合{a, a}を{a}と書く(一元集合)-集合論 更新日:2021年5月29日 公開日:2021年5月20日 集合論 要素a、bに対して対の公理が主張する集合は一意に決まる 「{x, y}が一意に定まることを証明せよ」にて、要素a、bに対して対の公理が主張する集合は一意に決まることが分かっているので、その集合を$\{a, […] 続きを読む
【問題】集合{a, b}={b, a}を証明せよ-集合論(外延性の公理) 更新日:2021年7月1日 公開日:2021年5月20日 集合論 【問題】集合{a,b}={b,a}を証明せよ 要素a、bに対して対の公理が主張する集合{a,b}と、要素b、aに対して対の公理が主張する集合{b,a}が$\{a, […] 続きを読む
【問題】P ⇔ Q(同値)の真理値表を求めよ-数理論理学 更新日:2021年6月4日 公開日:2021年5月20日 数理論理学 【問題】P↔Qの真理値表を求めよ 命題変数P、Qに対してP↔Qの真理値表を求めよ。 回答 命題変数P、Qはそれぞれ真(T)、偽(F) […] 続きを読む