[일반] 대입 기호) 궁금한 게 있는데 하나만 물어볼 수 있을까여

[ㅁㅁ(218.233)]

a = b + c 에 a = 3을 대입한다.

이것을 기호로는 어떻게 나타내나여.

인터넷에 대입 기호를 검색하고,

또 기호만 정리해놓은 위키백과도 찾아봤지만

대입에 관련한 정보는 아직 못 찾았네영

보통의 일상 언어로 표현하나여?

[익명(218.232)]

치환(substitution) 말씀하시는 거에요?

[ㅁㅁ(218.233)]

네! 그 치환 맞아여. 제가 국적을 모르는 외국인한테 수식을 설명해준다면 저 치환을 수학적 언어로 표현하려면 어떻게 해야 할까여.

[익명(218.232)]

https://en.wikipedia.org/wiki/Substitution_(logic)#First-order_logic
여기에 나와있네요

[ㅁㅁ(218.233)]

오오, 감사합니다..! 생각해보니 치환은 대응과 같은 개념이라고도 할 수 있겠네여.. 잘 알아갑니당 ㅎ

[victor(175.223)]

let a = 3

[ㅁㅁ(218.233)]

오홍 그렇게도 사용할 수 있군요.. 감사합니당 ㅎㅎ 치환기호보다 더 가벼운 느낌이네영 그건 변수를 다른 변수에 대응시키는 느낌이 훨씬 강했는뎅

[ㅁㅁ(218.233)]

감사합니당