[過去ログ] フェルマーの最終定理の簡単な証明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