重言后承

数理逻辑术语。它是命题逻辑中前提和结论之间的关系的语义刻划。设Γ是命题逻辑中的一公式集，A是一公式。称A为Γ的重言后承，记作ΓA，如果每一使Γ中的公式都为真的真值赋值，都是使A为真的真值赋值。当Γ为空公式集时，记作A。显然，A是重言式当且仅当A。

ΓA中的关系与Γ┝A中间的┝关系不同，前者是语义的，表示Γ中的公式与A之间的真假关系，而同演算系统中的公理和推理规则无关。后者是语法的，表示根据演算系统中的公理和推理规则，从Γ能推导出A，而与对公式的赋值以及真假无关。但是，根据命题演算的完全性定理，Γ┝A当且仅当ΓA，表明┝精确严格表达了。(符号和┝加标记o，表示它们是命题逻辑的元语言中的符号。)