[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 否定派 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
162(1): 2020/04/22(水)21:55 ID:LxI+KLOb(1/9) AAS
全称命題から特称命題はいえない
絶対ニダ
171(1): 2020/04/22(水)23:04 ID:LxI+KLOb(2/9) AAS
>>166
また一つ公理が増えたな
まあ勝手に構成してろ
人間は動物だ
ソクラテスは人間だ
ゆえに
ソクラテスは動物だ
省6
173(1): 2020/04/22(水)23:21 ID:LxI+KLOb(3/9) AAS
>>172
>あるものが存在し
これが全称命題からは言えない
つまり3は2と同じことを言っている
全称命題に存在性はないと思うがどうか？
176(2): 2020/04/22(水)23:29 ID:LxI+KLOb(4/9) AAS
すべてのカラスは黒くない
∀x(Fx→Gx)
等値
∀x(¬Fx∨Gx)
その否定
省6
177: 2020/04/22(水)23:34 ID:LxI+KLOb(5/9) AAS
>>176
訂正
すべてのカラスは黒い
180(1): 2020/04/22(水)23:44 ID:LxI+KLOb(6/9) AAS
>>178
議論がずれているんだが
カラスの色の問題ではなくて
カラスが居るかどうかを
全称命題では保証できないと言っている
否定形で存在を保証するという考えはできない
カラスは居る/居ない
省1
183: 2020/04/22(水)23:55 ID:LxI+KLOb(7/9) AAS
>>181
>∀x(Fx→Gx)から∃x(Fx→Gx)は導ける
それって公理から導出できるってだけの話だよね(全称例化)
俺はその公理体系に属さないから議論しても無駄だわ
公理が存在の担保って群レベルのゴミだな
184: 2020/04/22(水)23:57 ID:LxI+KLOb(8/9) AAS
>>182
ああだから全然違う議論をしていたんだね
君が豆知識を披露することに拘泥していて
話になってなかったわ
じゃあな虫けら
185(2): 2020/04/22(水)23:59 ID:LxI+KLOb(9/9) AAS
命題論理のタブローならわかるから
書き直してみろよ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.036s