离散数学-各种关联词的符号化
生活随笔
收集整理的這篇文章主要介紹了
离散数学-各种关联词的符号化
小編覺得挺不錯的,現在分享給大家,幫大家做個參考.
離散數學--關聯詞的符號化問題
①如果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
(例:除非世界末日,否則我活著 》》 我死 -> 世界末日)
只要 就-------充分條件
只有 才-------必要條件
暫時沒有例子?
總結
以上是生活随笔為你收集整理的离散数学-各种关联词的符号化的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: JS 截取视频某一帧图片 实现视频截图
- 下一篇: phpcms v9后台更换ueditor