代入定理

在任何一個包含變數A的邏輯等式中，若以另外一個邏輯式代入式中所有A的位置，則等式仍然成立。這就是所謂代入定理。

基本介紹

• 中文名：代入定理
• 屬於：邏輯代數的基本定理
• 介紹：無須證明的公理。
• 解釋：變數A僅有0和1兩種可能的狀態

邏輯代數的基本定理。

在任何一個包含變數A的邏輯等式中，若以另外一個邏輯式代入式中所有A的位置，則等式仍然成立。這就是所謂代入定理。

因為變數A僅有0和1兩種可能的狀態，所以無論將A=0還是A=1代入邏輯等式，等式都一定成立。而任何一個邏輯式的取值也不外0和1兩種，所以用它取代式中的A時，等式自然也成立。因此，可以把代入定理看作無須證明的公理。