"〇〇とおく"の論理式
たとえば、\(p(x)\)の証明途中で、"\(a=x^2\)とおくと"というのは、論理式にすると
\[
\exists a\ a{=}x^2 \land p(x)
\]
ということである、\(\exists a\ a{=}x^2 \)が真の場合
\[
(\exists a\ a{=}x^2 \land p(x)) \equiv p(x)
\]
なので、"〇〇とおく"というのは〇〇の存在が真であるなら、元の論理式の真偽に影響を与えない