치환 실례

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.

1. 개요
2. 명제 논리
3. 1차 논리
4. 수학
- 4.1. 대수학
참조

1. 개요

치환 실례는 명제 논리, 1차 논리, 수학 등 다양한 분야에서 사용되는 개념으로, 특정 표현식 내의 변수를 다른 표현식으로 대체하는 것을 의미한다. 명제 논리에서는 명제 형식의 원자 명제에 다른 명제 형식을 대입하는 것을, 1차 논리에서는 변수를 항으로 대체하는 것을, 수학에서는 변수를 상수나 다른 표현식으로 치환하는 것을 의미한다. 치환은 항진 명제 형식과 모순 명제 형식의 성질을 보존하며, 1차 논리에서는 다양한 종류의 치환(기저, 선형, 평탄, 이름 변경 등)이 정의된다. 수학에서 치환은 등식의 치환 속성(라이프니츠의 법칙)과 관련되며, 함수 합성 및 대수 구조의 보존과도 연관된다.

2. 명제 논리

명제 논리에서 치환 실례는 어떤 명제 형식 ''φ''가 주어졌을 때, ''φ''에 포함된 명제 변수들을 각각 다른 명제 형식으로 일관되게 대체하여 새로운 명제 형식 ''ψ''를 얻는 것을 말한다. 이렇게 얻어진 ''ψ''를 ''φ''의 치환 실례라고 한다.

일부 추론 시스템에서는 유도 과정 중 이전 단계에 나타난 명제의 치환 실례를 새로운 단계로 도입할 수 있다.^[1] 이는 공리적 시스템에서 새로운 행을 추가하거나, 추론 규칙을 사용하는 시스템에서 특정 변수를 도입하는 방법으로 사용될 수 있다.

2. 1. 정의

명제 논리에서, 명제 형식

P

의 치환 실례는

P

에 포함된 각 명제 변수를 특정한 명제 형식으로 바꾸어 얻는 새로운 명제 형식을 말한다.

더 구체적으로, 원자 명제

p_1, \dots, p_n

과 명제 형식

Q_1, \dots, Q_n

이 주어졌을 때,

P

의 치환 실례

P[Q_1/p_1, \dots, Q_n/p_n]

는

P

안의 모든

p_i

를 각각

Q_i

로 대체하여 얻는다. 이는 다음과 같이 재귀적으로 정의할 수 있다:

원자 명제 $p$ 에 대하여,
$p$ 가 치환 대상 변수 $p_i$ 중 하나가 아니라면 ( $p \ne p_i$ ), $p[Q_1/p_1, \dots, Q_n/p_n] = p$ 이다.
$p$ 가 치환 대상 변수 $p_i$ 와 같다면 ( $p = p_i$ ), $p[Q_1/p_1, \dots, Q_n/p_n] = Q_i$ 이다.
명제 형식 $P$ 에 대하여, $(\lnot P)[Q_1/p_1, \dots, Q_n/p_n] = \lnot (P[Q_1/p_1, \dots, Q_n/p_n])$ 이다.
명제 형식 $P, Q$ 에 대하여, $(P \land Q)[Q_1/p_1, \dots, Q_n/p_n] = P[Q_1/p_1, \dots, Q_n/p_n] \land Q[Q_1/p_1, \dots, Q_n/p_n]$ 이다. (다른 논리 연산자에 대해서도 유사하게 정의된다.)

예를 들어, 명제 형식 ''ψ''와 ''φ''가 명제 논리의 잘 정의된 공식일 때, ''φ''에 있는 명제 변수들을 다른 공식으로 바꾸어 ''ψ''를 얻을 수 있다면, ''ψ''는 ''φ''의 치환 실례가 된다. 이때 같은 변수는 항상 같은 공식으로 바꾸어야 한다.

다음은 치환 실례의 예시이다:

:''ψ:''

(R \to S) \land (T \to S)

:는 다음 명제 형식의 치환 실례이다.

:''φ:''

P \land Q

:여기서 ''ψ''는 ''φ''의 변수

P

를

(R \to S)

로, 변수

Q

를

(T \to S)

로 각각 치환하여 얻을 수 있다.

또 다른 예시는 다음과 같다:

:''ψ:''

(A \leftrightarrow A) \leftrightarrow (A \leftrightarrow A)

:는 다음 명제 형식의 치환 실례이다.

:''φ:''

(A \leftrightarrow A)

:여기서 ''ψ''는 ''φ''의 변수

A

를

(A \leftrightarrow A)

로 치환하여 얻을 수 있다.

2. 2. 성질

만약 ''P''가 항진 명제 형식이라면, 모든 치환 실례 ''P''[''Q''₁/''p''₁,...,''Q''_n/''p''_n] 역시 항진 명제 형식이다.^[14] 마찬가지로, 명제 공식이 모든 평가 (또는 해석)에서 참일 때 항진명제라고 하는데, 어떤 명제 형식 Φ가 항진명제이면 그것의 치환 실례 Θ 역시 항진명제가 된다.

만약 ''P''가 모순 명제 형식이라면, 모든 치환 실례 ''P''[''Q''₁/''p''₁,...,''Q''_n/''p''_n] 역시 모순 명제 형식이다.^[14]

또한, 만약 모든 ''i''=1,...,''n''에 대하여 ''Q''_i와 ''R''_i가 서로 동치라면, 치환된 결과인 ''P''[''Q''₁/''p''₁,...,''Q''_n/''p''_n]와 ''P''[''R''₁/''p''₁,...,''R''_n/''p''_n] 역시 서로 동치이다.

2. 3. 예시

명제

p\lor q\lor r

를 예로 들어보자. 이 명제에 포함된 원자 명제

p, q, r

각각을 새로운 명제인

p\land q

,

\lnot p\land q

,

p\land\lnot q

로 치환하면 다음과 같은 명제를 얻는다.

:

(p\land q)\lor(\lnot p\land q)\lor(p\land\lnot q)

이렇게 얻어진 명제는 원래 명제

p\lor q\lor r

의 치환 실례라고 한다.

명제 논리에서, ''ψ''와 ''φ''가 잘 정의된 공식일 때, ''ψ''는 ''φ''의 치환 실례이다. 이는 ''φ''에 있는 명제 변수들을 특정 공식들로 일관되게 치환하여(즉, 같은 변수는 항상 같은 공식으로 치환하여) ''ψ''를 얻을 수 있을 때 성립한다.

다른 예를 살펴보자.

''ψ'': (R → S) & (T → S)

는 아래 명제 ''φ''의 치환 실례이다.

''φ'': P & Q

이는 ''φ''의 명제 변수 P를 (R → S)로, Q를 (T → S)로 치환하면 ''ψ''가 되기 때문이다.

또 다른 예시는 다음과 같다.

''ψ'': (A ↔ A) ↔ (A ↔ A)

는 아래 명제 ''φ''의 치환 실례이다.

''φ'': (A ↔ A)

이 경우, ''φ''에 있는 모든 변수 A를 (A ↔ A)라는 공식으로 치환하면 ''ψ''를 얻을 수 있다.

일부 추론 시스템에서는 어떤 명제의 치환 실례를 논증 과정에서 새로운 단계로 도입하기도 한다.^[1]

3. 1차 논리

일차 논리에서 치환(substitution)은 변수를 항으로 대응시키는 매핑 ''σ'': ''V'' → ''T''를 의미한다.^[5]^[6] 일반적으로 치환은 { ''x''₁ ↦ ''t''₁, …, ''x''_''k'' ↦ ''t''_''k'' } 형태로 표기한다.^[3] 이는 각 변수 ''x''_''i''를 해당 항 ''t''_''i''로 매핑하고 (여기서 ''i''=1,…,''k''), 명시되지 않은 다른 모든 변수는 자기 자신으로 매핑함을 나타낸다. 이때 각 ''x''_''i''는 서로 다른 변수여야 한다.

항 ''t''에 치환을 적용하는 것은 후위 표기법으로 ''t'' { ''x''₁ ↦ ''t''₁, ..., ''x''_''k'' ↦ ''t''_''k'' }와 같이 쓰며, 이는 항 ''t'' 안에 있는 각 변수 ''x''_''i''를 동시에 해당 항 ''t''_''i''로 바꾸는 것을 의미한다.^[4] 치환 ''σ''를 항 ''t''에 적용한 결과인 ''tσ''는 항 ''t''의 인스턴스(instance)라고 부른다.

예를 들어, 항 ''f''(''z'', ''a'', ''g''(''x''), ''y'')에 치환 { ''x'' ↦ ''z'', ''z'' ↦ ''h''(''a'',''y'') }를 적용하면 다음과 같은 결과가 나온다.

원본 항	적용 결과 항
f(z, a, g(x), y)	f(h(a,y), a, g(z), y)

3. 1. 정의

1차 논리에서, 항

t

의, 변수

x_1,\dots,x_n

및 항

u_1,\dots,u_n

에 대한 '''치환 실례'''

t[u_1/x_1,\dots,u_n/x_n]

는

t

속의 각

x_i

에

u_i

를 넣어 얻는 항이다. 즉, 다음과 같이 재귀적으로 정의된다.^[15]

연산 $\mathsf f$ 및 항 $t_1,\dots,t_{m_\mathsf f}$ 에 대하여, (여기서 $m_\mathsf f$ 는 항수)
: $\mathsf f(t_1,\dots,t_{m_\mathsf f})[u_1/x_1,\dots,u_n/x_n]=\mathsf f(t_1[u_1/x_1,\dots,u_n/x_n],\dots,t_{m_\mathsf f}[u_1/x_1,\dots,u_n/x_n])$

논리식

\phi

의, 변수

x_1,\dots,x_n

및 항

t_1,\dots,t_n

에 대한 '''치환 실례'''

\phi[t_1/x_1,\dots,t_n/x_n]

는

\phi

속의 각 자유 변수

x_i

에

t_i

를 넣어 얻는 논리식이다. 즉, 다음과 같이 재귀적으로 정의된다.^[15]

항 $t,u$ 에 대하여, $(t=u)[t_1/x_1,\dots,t_n/x_n]=(t[t_1/x_1,\dots,t_n/x_n]=u[t_1/x_1,\dots,t_n/x_n])$
관계 $\mathsf R$ 및 항 $u_1,\dots,u_{n_\mathsf R}$ 에 대하여, (여기서 $n_\mathsf R$ 는 항수)
: $\mathsf R(u_1,\dots,u_{n_\mathsf R})[t_1/x_1,\dots,t_n/x_n]=\mathsf R(u_1[t_1/x_1,\dots,t_n/x_n],\dots,u_{n_\mathsf R}[t_1/x_1,\dots,t_n/x_n])$
논리식 $\phi$ 에 대하여, $(\lnot\phi)[t_1/x_1,\dots,t_n/x_n]=\lnot(\phi[t_1/x_1,\dots,t_n/x_n])$
논리식 $\phi,\psi$ 에 대하여, $(\phi\land\psi)[t_1/x_1,\dots,t_n/x_n]=\phi[t_1/x_1,\dots,t_n/x_n]\land\psi[t_1/x_1,\dots,t_n/x_n]$
논리식 $\phi$ 및 변수 $x$ 에 대하여,
* $x\ne x_i$ 라면, $(\forall x\phi)[t_1/x_1,\dots,t_n/x_n]=\forall x(\phi[t_1/x_1,\dots,t_n/x_n])$
* $x=x_i$ 라면, $(\forall x\phi)[t_1/x_1,\dots,t_n/x_n]=\forall x(\phi[t_1/x_1,\dots,t_{i-1}/x_{i-1},t_{i+1}/x_{i+1},\dots,t_n/x_n])$

논리식

\phi

위의, 변수

x

의 '''치환 가능 항'''(substitutable/free term for

x

^eng)은 다음 조건을 만족시키는 항

t

이다.^[15]

만약 $t$ 가 변수 $y$ 를 포함하며, $\phi$ 가 논리식 $\forall y\psi$ 를 포함한다면, $x$ 는 $\psi$ 의 자유 변수가 아니다.

즉, 다음과 같이 재귀적으로 정의된다.

항 $u,v$ 에 대하여, $t$ 는 $u=v$ 위의 $x$ 의 치환 가능 항이다.
관계 $\mathsf R$ 및 항 $t_1,\dots,t_{n_\mathsf R}$ 에 대하여, $t$ 는 $\mathsf R(t_1,\dots,t_{n_\mathsf R})$ 위의 $x$ 의 치환 가능 항이다.
$t$ 가 $\phi$ 위의 $x$ 의 치환 가능 항이라면, $t$ 는 $\lnot\phi$ 위의 $x$ 의 치환 가능 항이다.
$t$ 가 $\phi,\psi$ 위의 $x$ 의 치환 가능 항이라면, $t$ 는 $\phi\land\psi$ 위의 $x$ 의 치환 가능 항이다.
$t$ 가 변수 $y$ 를 포함하지 않거나, $x$ 가 $\phi$ 의 자유 변수가 아니라면, $t$ 는 $\forall y\phi$ 위의 $x$ 의 치환 가능 항이다.

3. 2. 기저 치환, 선형 치환, 평탄 치환, 이름 변경 치환

치환 ''σ''의 ''영역(domain)'' ''dom''(''σ'')은 일반적으로 실제로 대체된 변수의 집합, 즉 ''dom''(''σ'') = { ''x'' ∈ ''V'' | ''xσ'' ≠ ''x'' }으로 정의된다. 특정 속성을 갖는 치환들은 다음과 같이 분류할 수 있다.

기저 치환(ground substitution): 치환의 영역에 있는 모든 변수를 기저 항(변수가 없는 항)으로 매핑하는 치환이다.^[5]^[6] 예를 들어, `{ ''x'' ↦ 2, ''y'' ↦ 3+4 }`는 기저 치환이다. 기저 치환 ''σ''를 항 ''t''에 적용한 결과인 ''tσ''는, 만약 ''t''의 모든 변수가 ''σ''의 영역에 포함된다면(''vars''(''t'') ⊆ ''dom''(''σ'')), 기저 항이 된다.

선형 치환(linear substitution): 치환 ''σ''를 일부 (따라서 모든) 선형 항 ''t''에 적용한 결과 항 ''tσ''가 선형 항(각 변수가 최대 한 번 나타나는 항)이 되는 경우, 해당 치환 ''σ''를 선형 치환이라고 한다. 이는 치환 ''σ''의 영역 변수만 포함하는 항, 즉 ''vars''(''t'') = ''dom''(''σ'')인 항 ''t''에 대해 ''tσ''가 선형일 때 성립한다.^[5]^[6] 예를 들어, `{ ''x'' ↦ ''x''₁, ''y'' ↦ ''y''₂+4 }`는 선형 치환이다 (비기저, 비평탄). 반면, `{ ''x'' ↦ ''y''₂, ''y'' ↦ ''y''₂+4 }`는 결과 항 `''y''₂`와 `''y''₂+4`가 변수 `''y''₂`를 공유하므로 선형 치환이 아니다.

평탄 치환(flat substitution): 치환 ''σ''가 모든 변수 ''x''에 대해 ''xσ''를 변수로 매핑하는 경우, 즉 변수를 다른 변수로만 대체하는 치환이다.^[5]^[6] 예를 들어, `{ ''x'' ↦ ''y''₂, ''y'' ↦ ''y''₂ }`는 평탄 치환이다 (비선형). `{ ''x'' ↦ ''x''₁, ''y'' ↦ ''y''₂ }`는 선형이면서 평탄한 치환이다.

이름 변경 치환(renaming substitution): 변수 집합에 대한 순열로서, 단순히 변수의 이름을 다른 변수 이름으로 일대일로 바꾸는 치환이다.^[5]^[6] 예를 들어, `{ ''x'' ↦ ''x''₁, ''x''₁ ↦ ''y'', ''y'' ↦ ''y''₂, ''y''₂ ↦ ''x'' }`는 이름 변경 치환이다. `{ ''x'' ↦ ''x''₁, ''y'' ↦ ''y''₂ }`는 선형이고 평탄하지만, 모든 변수에 대한 순열이 아니므로 이름 변경 치환은 아니다 (만약 변수 집합이 {''x'', ''y'', ''x''₁, ''y''₂} 보다 크다면).

역 치환:모든 이름 변경 치환은 항상 ''역(inverse)'' 치환 ''σ''⁻¹을 가지며, 모든 항 ''t''에 대해 ''tσσ''⁻¹ = ''t'' = ''tσ''⁻¹''σ''를 만족한다. 위의 이름 변경 치환 예시에서 역은 `{ ''x'' ↦ ''y''₂, ''y''₂ ↦ ''y'', ''y'' ↦ ''x''₁, ''x''₁ ↦ ''x'' }`이다. 그러나 임의의 치환에 대해 역을 정의하는 것은 일반적으로 불가능하다. 정보 손실이 발생할 수 있기 때문이다. 예를 들어, 평탄 치환 `{ ''x'' ↦ ''z'', ''y'' ↦ ''z'' }`를 항 (''x''+''y'')에 적용하면 (''x''+''y'') { ''x'' ↦ ''z'', ''y'' ↦ ''z'' } = ''z''+''z''가 된다. 결과 항 ''z''+''z''만으로는 원래 항이 ''x''+''y''였는지 알 수 없으므로 역 치환을 정의할 수 없다. 마찬가지로 기저 치환 `{ ''x'' ↦ 2 }`를 항 (''x''+2)에 적용하면 (''x''+2) { ''x'' ↦ 2 } = 2+2가 되는데, 이 역시 원래 변수 ''x''에 대한 정보가 손실되어 역을 정의할 수 없다.

3. 3. 치환의 합성

두 치환 ''σ'' = { ''x''₁ ↦ ''t''₁, …, ''x''_''k'' ↦ ''t''_''k'' }와 ''τ'' = { ''y''₁ ↦ ''u''₁, …, ''y''_''l'' ↦ u_''l'' }의 합성(composition)은 ''στ''로 표기한다. 이는 치환 { ''x''₁ ↦ ''t''₁''τ'', …, ''x''_''k'' ↦ ''t''_''k''''τ'', ''y''₁ ↦ ''u''₁, …, ''y''_''l'' ↦ ''u''_''l'' }에서 ''y''_''i'' ∈ { ''x''₁, …, ''x''_''k'' }인 쌍 ''y''_''i'' ↦ ''u''_''i''를 제거하여 얻는다.

치환 합성은 결합 법칙을 만족한다. 즉, 모든 치환 ''ρ'', ''σ'', ''τ''와 모든 항 ''t''에 대해 다음이 성립한다.^[5]^[6]

(''ρσ'')''τ'' = ''ρ''(''στ'')
(''tσ'')''τ'' = ''t''(''στ'')

모든 변수를 자기 자신에 매핑하는 항등 치환(identity substitution)은 치환 합성의 중립 원소이다.

치환 ''σ''가 ''σσ'' = ''σ''를 만족할 때, 즉 자신과 합성했을 때 자기 자신이 될 때 이를 멱등(idempotent) 치환이라고 한다.^[5]^[6] 모든 ''i'' = 1, ..., ''k''에 대해 ''x''_''i'' ≠ ''t''_''i''인 치환 { ''x''₁ ↦ ''t''₁, …, ''x''_''k'' ↦ ''t''_''k'' }는, 어떠한 항 ''t''_''j''에도 변수 ''x''_''i''가 포함되지 않는 경우에만 멱등이다.

멱등 치환 예시: { ''x'' ↦ ''y''+''y'' }는 멱등이다. ((''x''+''y'') {''x''↦''y''+''y''}) {''x''↦''y''+''y''} = ((''y''+''y'')+''y'') {''x''↦''y''+''y''} = (''y''+''y'')+''y'' 이며, 이는 (''x''+''y'') {''x''↦''y''+''y''} 와 결과가 같기 때문이다.
비멱등 치환 예시: { ''x'' ↦ ''x''+''y'' }는 멱등이 아니다. ((''x''+''y'') {''x''↦''x''+''y''}) {''x''↦''x''+''y''} = ((''x''+''y'')+''y'') {''x''↦''x''+''y''} = ((''x''+''y'')+''y'')+''y'' 이며, 이는 ((''x''+''y'')+''y'')와 다르므로, (''x''+''y'') {''x''↦''x''+''y''} {''x''↦''x''+''y''} ≠ (''x''+''y'') {''x''↦''x''+''y''} 이다.

치환 합성은 일반적으로 교환 법칙이 성립하지 않는다. 즉, ''στ''는 ''τσ''와 다를 수 있다.^[5]^[6]

비가환적 합성 예시: { ''x'' ↦ ''y'' } { ''y'' ↦ ''z'' } = { ''x'' ↦ ''z'', ''y'' ↦ ''z'' } 이지만, { ''y'' ↦ ''z''} { ''x'' ↦ ''y''} = { ''x'' ↦ ''y'', ''y'' ↦ ''z'' } 이므로 결과가 다르다.

4. 수학

수학에서 치환은 주로 두 가지 방식으로 사용된다. 첫째는 변수를 상수로 바꾸는 것(변수에 값을 할당하는 것과 유사하다)이고, 둘째는 '등식의 치환 속성'^[7] 또는 라이프니츠가 제시한 '라이프니츠의 법칙'이라고 불리는 원리를 이용하는 것이다.^[8]

수학을 형식 언어로 본다면, 변수는 ''x'', ''y'', ''z''와 같은 기호로 표현되며, 이 기호들은 특정 값의 범위를 나타낸다.^[9] 어떤 식이나 공식에서 변수가 자유 변수일 경우, 그 변수가 나타내는 범위 안의 어떤 값으로든 대체될 수 있다.^[10] 매개변수(예: 다항식의 계수)나 함수의 인수와 같은 특정 종류의 속박 변수도 치환될 수 있다. 또한, 전칭 양화된 변수는 해당 범위 내의 모든 값으로 대체될 수 있으며, 그 결과는 항상 참인 명제가 된다. 이를 전칭 인스턴스화라고 한다.

그러나 수학적 논리 바깥의 일반적인 수학 텍스트에서는 어떤 변수가 자유 변수이고 어떤 변수가 속박 변수인지 명확하게 구분하기 어려운 경우가 있다. 예를 들어, $\sum_{i < k} a_{ik}$ 라는 식에서 문맥에 따라 변수 $i$ 가 자유 변수이고 $k$ 가 속박 변수일 수도 있고, 그 반대일 수도 있다(둘 다 자유 변수일 수는 없다). 어떤 변수를 자유 변수로 간주할지는 주어진 문맥과 의미론에 따라 결정된다.

'등식의 치환 속성' 또는 '라이프니츠의 법칙'(후자는 주로 철학적 맥락에서 사용됨)은 일반적으로 두 대상이 같다면, 하나의 대상이 가진 속성은 다른 대상도 반드시 가져야 한다는 원리이다. 이를 논리 기호를 사용하여 다음과 같이 표현할 수 있다.

$(a=b) \implies \bigl[ \phi(a) \Rightarrow \phi(b) \bigr]$

이는 모든 $a$ 와 $b$ , 그리고 자유 변수 $x$ 를 포함하는 모든 잘 정의된 공식 $\phi(x)$ 에 대해 성립한다. 예를 들어, 모든 실수 ''a''와 ''b''에 대해, 만약 ''a'' = ''b'' 이면, ''a'' ≥ 0 이라는 사실은 ''b'' ≥ 0 이라는 사실을 함의한다(여기서 $\phi(x)$ 는 ''x'' ≥ 0 이다). 이 속성은 특히 연립 방정식을 풀 때 대수학에서 자주 사용되지만, 등식을 사용하는 거의 모든 수학 분야에서 기본적인 원리로 적용된다. 이 속성은 등식의 반사율과 함께 1차 논리에서 등식의 공리를 구성한다.^[11]

치환은 함수 합성과 관련이 있지만 동일한 개념은 아니며, 람다 대수에서의 ''β''-축약과도 밀접한 관련이 있다.

4. 1. 대수학

치환은 특히 컴퓨터 대수학에서 대수학의 기본 연산 중 하나이다.^[12]^[13]

치환의 일반적인 예는 다항식과 관련된다. 단변수 다항식의 미지수에 특정 숫자 값이나 다른 표현식을 대입하는 것은 해당 값에서 다항식의 값을 계산하는 것과 같다. 이 연산은 매우 자주 사용되므로, 다항식을 나타내는 표기법도 이에 맞춰진 경우가 많다. 예를 들어, 다항식을 단순히 ''P''라고 이름 붙이는 대신 다음과 같이 변수 ''X''를 포함하여 정의할 수 있다.

:

P(X)=X^5-3X^2+5X-17

이렇게 정의하면, ''X'' 자리에 특정 값이나 식을 넣는 치환을 ''P''(''X'') 형태로 간단히 나타낼 수 있다. 예를 들면 다음과 같다.

:

P(2) = 2^5 - 3(2^2) + 5(2) - 17 = 32 - 12 + 10 - 17 = 13

:

P(X+1) = (X+1)^5 - 3(X+1)^2 + 5(X+1) - 17 = X^5 + 5X^4 + 10X^3 + 7X^2 + 4X - 14.

치환은 다항식뿐만 아니라, 기호로 구성된 다른 종류의 형식적 객체, 예를 들어 자유군의 원소 등에도 적용될 수 있다. 치환을 수학적으로 엄밀하게 정의하기 위해서는, 미지수를 특정 값으로 대응시키는 유일한 준동형 사상이 존재함을 보장하는 보편 성질을 가진 대수적 구조가 필요하다. 이러한 관점에서 보면, 치환은 주어진 준동형 사상에 따라 원소가 어떻게 변환되는지(즉, 그 이미지(image)를 찾는 것)를 확인하는 과정과 같다.

참조

_[1] 간행물 1996
_[2] 서적 Formal Models and Semantics Elsevier
_[3] 서적 Algebraic Specification Elsevier
_[4] 문서
_[5] 서적 Principles of Automated Theorem Proving Wiley
_[6] 서적 Unification Theory http://www.cs.bu.edu[...] Elsevier 2014-09-24
_[7] Encyclopedia Equality axioms http://encyclopediao[...] Springer Publishing
_[8] 간행물 Relative Identity https://plato.stanfo[...] The Stanford Encyclopedia of Philosophy 2024
_[9] 웹사이트 Individual variable http://encyclopediao[...] Springer Publishing 2024-09-05
_[10] Encyclopedia Free variable http://encyclopediao[...] Springer Publishing
_[11] 서적 First-Order Logic and Automated Theorem Proving https://books.google[...] Springer
_[12] 서적 Computing with Mathematica https://books.google[...] Elsevier 2002-11-06
_[13] 서적 Introduction to Maple https://archive.org/[...] Springer Science & Business Media 2012-12-06
_[14] 서적 Logic for Mathematicians https://archive.org/[...] Cambridge University Press 1988
_[15] 웹사이트 Substitutability

본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.

문의하기 : help@durumis.com