[過去ログ] フェルマーの最終定理の簡単な証明4 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
431(3): 2019/12/27(金)20:20 ID:MpFmAnls(1/5) AAS
全称量化子
すべての元
任意の元
各元
存在量化子
ある元
適当な元
たとえば
二次関数 y:=ax^2+bx+c (a≠0)
∀x:独立変数
省23
432: 2019/12/27(金)20:23 ID:MpFmAnls(2/5) AAS
>>431
∃1y:従属変数
450: 2019/12/28(土)00:41 ID:fyAf2PLp(2/2) AAS
>>431
二次関数について
y:=ax^2+bx+c (a≠0)
∀x:独立変数
∃1y:従属変数
∃a,b,c:定数
定数は固定した方がよいと考え直した
等式は量化子がいらないと考えた
等式 y=ax^2+bx+c (a,b,c,x,y:文字)
省8
457: 日高 2019/12/28(土)12:23 ID:bWyUqG08(5/15) AAS
>431
>記号a,b,cなどを文字なのか数なのかをはっきりと分け
それらの成立範囲をよく考える必要がある
よくわかりません。
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.037s