查看“︁置换（逻辑）”︁的源代码

[[分类:命题逻辑]]
{{InfoBox
|name=置换
|eng_name=substitution
|aliases=代入
}}
{{InfoBox
|name=置换
|eng_name=substitution instance
|aliases=代入,instance
}}
{{InfoBox
|name=置换规则
|eng_name=substitution rule
|aliases=置换定理
}}
'''置换'''('''substitution''')指将[[命题公式]]或[[谓词公式]]中的[[原子公式]]替换为与之[[等值（逻辑）|等值]]的公式。
'''置换'''也称指公式经置换后的公式。
'''置换规则'''('''substitution rule''')或'''置换定理'''指置换前后两命题公式等值。

== 定义 ==

对命题公式 <math>A</math> ，将其中子公式 <math>\phi</math> 替换为其等值公式 <math>\psi</math>，得到命题公式 <math>B</math> ，这一操作称为'''置换'''/代入('''substitution''')，命题公式 <math>B</math> 称为命题公式 <math>A</math> 的一个'''置换'''('''substitution instance''')，也记作 <math>A(\phi/\psi)</math>。

注：代入一般用于被替换的子公式是命题变元本身的情况，见[[命题变元代入]]。

== 性质 ==

命题公式的置换总是与原命题公式等值，这称为'''置换规则'''('''substitution rule''')。


{{命题逻辑}}