蘊涵命題演算

在數理邏輯中 ， 蘊涵命題演算是隻使用叫做蘊涵或條件的一個連結詞的經典 命題演算 。 用公式表達 ， 這個二元運算被指示爲 “ implies ” “ 如果 ..., 則 ... ”, “ → ”, “” 等等 。