【离散数学】命题逻辑符号化例题
生活随笔
收集整理的這篇文章主要介紹了
【离散数学】命题逻辑符号化例题
小編覺得挺不錯的,現在分享給大家,幫大家做個參考.
命題符號化
所謂命題符號化,就是用命題公式的符號串來表示給定的命題。
命題符號化的方法:
例題
例1
說離散數學無用且枯燥無味是不對的。
P:離散數學是有用的
Q:離散數學是枯燥無味的
? ( ? P ∧ Q ) ?(?P\wedge{Q}) ?(?
總結
以上是生活随笔為你收集整理的【离散数学】命题逻辑符号化例题的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: 动态规划求解限时采药问题(洛谷P1048
- 下一篇: 【数据结构与算法】双链表V3.0的Jav