蘊含式（數學公式）

蘊含式（數學公式）

蘊含式 （數學公式） 次瀏覽 | 2022.07.27 19:47:06 更新 來源 ：互聯網 精選百科 本文由作者推薦 蘊含式數學公式

設p、q為兩個命題。復合命題"如果p，則q"稱為p與q的蘊含式，記作p→q。并稱p為蘊含式的前件，q為后件。并規定p→q為假當且僅當p為真q為假。

中文名

蘊含式

外文名

implication

邏輯關系

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[1]

參考資料