なぜ、対偶と元の命題の真偽は一致するのですか？ (175ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

156(2): [] 2023/11/11(土) 02:25:06.86 ID:1HH0lemX(13/14)
>>154
あのね「何の前提もなく」Pも¬Pも証明できるわけ無いのは当たり前だと何度も言ってるんだが？
P⇒Qの真理値表はPやQに真偽値が定まる場合に作られるのよ
つまりシーケント計算で導出できる場合にね
いいから
真偽値の定義について勉強してくれよ

---

158: [sage] 2023/11/11(土) 02:32:32.90 ID:YBqiRc4v(14/16)
>>156
じゃあその必要な前提を君の定義に明記してみろよ
Pが証明できる前提なんてP自身かP∧Qとかしかないけどどうするつもりなんだよ

---

173: [sage] 2023/11/14(火) 19:11:41.17 ID:1lSZqjF9(1)
>>156
まだ修正できないの？
今のままじゃ、決して証明できないものが証明できる場合にしか真偽値が定義されないってことになってるんだぞ
はやくしろよ

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.628s*