[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 53 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

371(1): 2020/06/02(火)00:45 ID:xEujzbd1(3/5) AAS
P∨Q：真
¬(P∨Q)：偽
ーーーーーーーーー　ここまでが日常語

ここからがタブロー語

¬(P∨Q)　|-　P∨Q

を示す

(1)　¬(¬(P∨Q)→(P∨Q))
省4

---

373(1): 2020/06/02(火)01:49 ID:Ox5DlzXT(2/2) AAS
>>371
その日常語で述べられている主張が矛盾を起こすのだから、
それの記号化をしないなら、矛盾が出ないのは当然だという、
指摘されたその欠陥を得意げに見せつけられても困る

>>372
それは>>345の最後の文の続きで>>334と同じになることの説明の補足だが
何かおかしい所があったのであれば説明してくれ
省1

---

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

---

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

---

ぬこの手 ぬこTOP 0.044s