蕴涵命题演算 在数理逻辑中蕴涵命题演算是只使用叫做蕴涵或条件的一个连结词的经典二值命题演算用公式表达这个二元运算被指示为implies 如果  则     displaystyle rightarrow  等等