[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 53 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
369: 2020/06/02(火)00:27 ID:xEujzbd1(1/5) AAS
>>368
タブロー法においてP∨Qと書いてあれば明示がなくても真の意です
君が何を指摘したつもりなのかわからない
370: 2020/06/02(火)00:42 ID:xEujzbd1(2/5) AAS
>>341
>P∨Q：真
>とする
>このとき
>¬(P∨Q)：偽
このことを言ってんのか？
なんだその揚げ足取り
省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
372(1): 2020/06/02(火)00:49 ID:xEujzbd1(4/5) AAS
それから>>347で
こんなことを書いているけど何も関係がないね
恒偽命題の仮定とそうではない偽の仮定の話をしているのに
一例に過ぎない
>¬P→(P→Q)と¬P∧P→Qが同値
こんなことを書かれても( ´,_ゝ｀)ﾌﾟｯ
としか言えないわ
省1
375: 2020/06/02(火)02:53 ID:xEujzbd1(5/5) AAS
>>373
そっちに書いたよ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.032s