[過去ﾛｸﾞ] フェルマーの最終定理の簡単な証明4 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
433(1): 2019/12/27(金)20:34 ID:MpFmAnls(3/5) AAS
変数は全称量化子だということはわかるのだが
定数をどうするのかで迷い難しい
定数といえば通常固定されたものであるが
任意定数というものがあるし
任意のものは固定されて選ばれる
つまり任意の定数と固定された定数の違いがよくわからないのだ
そこで全称量化子の「任意の」を「すべての」に読みかえて
定数の成立範囲を考えることが妥当なように思われる
このように定数の扱いは文脈に依存するので
定数は真理値を持たず量化できないと考える方がよいかも知れない
省1
448(1): 2019/12/27(金)23:48 ID:/CiTG9Cr(1) AAS
>>433
それは数理論理学ですか？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.036s