日韩性视频-久久久蜜桃-www中文字幕-在线中文字幕av-亚洲欧美一区二区三区四区-撸久久-香蕉视频一区-久久无码精品丰满人妻-国产高潮av-激情福利社-日韩av网址大全-国产精品久久999-日本五十路在线-性欧美在线-久久99精品波多结衣一区-男女午夜免费视频-黑人极品ⅴideos精品欧美棵-人人妻人人澡人人爽精品欧美一区-日韩一区在线看-欧美a级在线免费观看

歡迎訪問 生活随笔!

生活随笔

當前位置: 首頁 > 编程资源 > 编程问答 >内容正文

编程问答

离散数学-各种关联词的符号化

發布時間:2023/12/20 编程问答 28 豆豆
生活随笔 收集整理的這篇文章主要介紹了 离散数学-各种关联词的符号化 小編覺得挺不錯的,現在分享給大家,幫大家做個參考.

離散數學--關聯詞符號化問題

①如果p那么q? ? ? ? ? ?p->q;

②只有p才q ?????  ? q->p;(p是q的必要條件)

仔細想一下,只有p->q和q->p兩種情況,p成立不一定q成立,而q成立,那么p就一定成立,所以后者正確;

③只要p就q? ? ? ? ? ? ? ?p->q;(p是q的充分條件) ?同①

④僅當p, q? ? ? ? ? ? ? ? ?q->p(僅當不就是只有嗎?)

⑤當且僅當p,q ????????? q<->p(充要條件,與==等價)

⑥除非p 否則 q? ? ? ? ?非q->p

(例:除非世界末日,否則我活著 》》 我死 -> 世界末日)

只要 就-------充分條件

只有 才-------必要條件

暫時沒有例子?

總結

以上是生活随笔為你收集整理的离散数学-各种关联词的符号化的全部內容,希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯,歡迎將生活随笔推薦給好友。