Nola's Backyard
Home
Posts
Tags
Scraps
代入原理
x
x
x
と
y
y
y
が同じ対象なら、一方を他方に置き換えても性質
φ
\varphi
φ
の真偽は変わらないという原理。
x
=
y
⇒
(
φ
(
x
)
⇔
φ
(
y
)
)
x=y\Rightarrow\bigl(\varphi(x)\Leftrightarrow\varphi(y)\bigr)
x
=
y
⇒
(
φ
(
x
)
⇔
φ
(
y
)
)
