Inter-universal geometry と ABC予想 (応援スレ) 75 (189ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
162(1): 09/17(水)11:37 ID:Wf8dP/QO(1/3) AAS
一階述語論理で思考しないことと一階述語論理を理解してないことは全然違うけどな
一階述語論理で思考しなくてもその思考を一階述語論理に落とせるなら何の問題も無い、そしてそれは一階述語論理を理解してない限りあり得ない
馬鹿は都合よく勝手読みする
165: 09/17(水)11:43 ID:Wf8dP/QO(2/3) AAS
>>161
>ここは中高一貫校生も来る可能性があるから
>補足しておく
¬(A⇔B)⇔(A⇔¬B)の証明もできないオチコボレがなんかほざいてますね
167(1): 09/17(水)12:10 ID:Wf8dP/QO(3/3) AAS
>一階述語論理の重要性は否定しない
じゃなんで勉強せんの？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.014s