[일반] 수리논리학적으로 독립변수와 종속변수 다루는 법

[기괴공학도(mecheng98)]

어떻게 독립변수와 종속변수를 수리논리학적으로 다룰 수 있을까요?

형식적으로 노트 정리하려고 하는데 이 부분에서 막히네요:

"x는 독립변수이다"

"y는 x의 값에 따라 값이 변하는 종속변수이다"

"c는 임의의 상수이다"

[익명(221.148)]

함수나 식이라는 걸 정의할 때 같이 정의되는 거 아닌가

[익명(1.229)]

독립변수는 Exists a, forall y exists (x,y) such that x=a 로 하면 안되나?

[익명(1.229)]

x의 범위를 X, y의 범위를 Y라 할때 {(x,y)}=X×Y 이게 더 낫나?

[기괴공학도(mecheng98)]

집합에서 뽑는 게 좋아보이네요 ㄱㅅ