設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]
參考資料本文發布于:2023-06-04 20:50:35,感謝您對本站的認可!
本文鏈接:http://www.newhan.cn/zhishi/a/92/200049.html
版權聲明:本站內容均來自互聯網,僅供演示用,請勿用于商業和其他非法用途。如果侵犯了您的權益請與我們聯系,我們將在24小時內刪除。
本文word下載地址:蘊含式(數學公式).doc
本文 PDF 下載地址:蘊含式(數學公式).pdf
| 留言與評論(共有 0 條評論) |