蘊含式

邏輯關系

q是p的的必要條件，或p是q的充分條件。因此，複合命題“隻要p就q“，“p僅當q","隻有q才p“等，都可以符号化為的形式。

理解誤區

其一，在自然語言中，“如果p，則q“中的p與q 往往有某種内在的聯系，但在數理邏輯中“"中的p與q不一定有什麼内在聯系。

其二，在數學中，“如果p,則q“往往表示前件p為真，q為真的推理關系，但在數理邏輯中，當前件p為假時，為真。

這個在現實中也有例子，比如：若是太陽從西邊出來，則......。

常用的幾種轉換方法

如果p，就q

若p，就q

隻要p，就q

p僅當q

隻有q，才p

除非q才p

除非q否則非p