若前提为k个命题公式： A 1 , A 2 , A 3 , . . . , A k A_1,A_2,A_3,...,A_k A1,A2,A3,...,Ak，结论为命题公式 B B B，对命题公式赋值时，前提和结论的取值情况有以下4种：
- A 1 ∧ A 2 ∧ . . . ∧ A k A_1land A_2land ...land A_k A1∧A2∧...∧Ak为0， B B B为0
- A 1 ∧ A 2 ∧ . . . ∧ A k A_1land A_2land ...land A_k A1∧A2∧...∧Ak为0， B B B为1
- A 1 ∧ A 2 ∧ . . . ∧ A k A_1land A_2land ...land A_k A1∧A2∧...∧Ak为1， B B B为0
- A 1 ∧ A 2 ∧ . . . ∧ A k A_1land A_2land ...land A_k A1∧A2∧...∧Ak为1， B B B为1
根据定义，只要不出现第3种情况，推理就是正确的，结论就是有效的。
即推理正确当且仅当
A
1
∧
A
2
∧
.
.
.
∧
A
k
→
B
是
重
言
式
A_1land A_2land ...land A_krightarrow B是重言式
A1∧A2∧...∧Ak→B是重言式，记为：
A
1
∧
A
2
∧
.
.
.
∧
A
k
⇒
B
A_1land A_2land ...land A_kRightarrow B
A1∧A2∧...∧Ak⇒B.
注意：推理正确并不能保证结论一定成立，因为前提可能就不成立。
与用 A ⇔ B A Leftrightarrow B A⇔B表示 A ↔ B Aleftrightarrow B A↔B是重言式类似，用 A ⇒ B A Rightarrow B A⇒B表示 A → B Arightarrow B A→B是重言式。
‘ ⇔ ’ ‘Leftrightarrow’ ‘⇔’和 ‘ ⇒ ’ ‘Rightarrow’ ‘⇒’不是逻辑联结词，只是用来表示某种重言式的一种方法。
