❶ 離散數學 排斥或符號化
因為兩個命題都是針對同一個人，小王不可能既在宿舍，又在圖書館，用p∨q表示也可以，但是p與q不能同時為真。最好還是用排斥性或來表示：(p∧非q)∨(非p∧q)
❷ 離散數學 符號化
「恰好有一個」 可以翻譯成「有一個×××並且只有一個×××」這兩句話。
「頂多有一個」我想是否翻譯成「恰好有一個×××或者沒有××× 」這兩句話。
❸ 離散數學，命題符號化
p：你是計算機系學生
q：你是一年極學生
r：你可以上網
符號化：
（p∨「q）→r
可以由p、q的關系推出r，也可以反過來，個人感覺這種比較好理解
❹ 離散數學中的命題符號化
P↹ ﹁Q
❺ 離散數學 符號化
設F(x):x是偶數，G(x):x是素數,則
1. F(2)vF(3),真值是T
2. F(2)vF(4),真值是T
3. F(3)vF(5),真值是F
4. !F(3)v!F(4),真值是T
5. !G(3)v!F(4),真值是F
❻ 離散數學 命題符號化
以下以A代表全稱量詞，E代表存在量詞。
設F(x)：x是火車，G(y)：y是汽車，H(x,y)：x比y跑得快。
直接符號化是Ex(F(x)∧Ay(G(y)→H(x,y)))，根據轄域的收縮與擴張等值式，可化為ExAy(F(x)∧(G(y)→H(x,y)))，這個就是前束範式了
❼ 離散數學問題.命題符號化。
1，（1）P:我吃飯前完成家庭作業，Q：天不下雨，R：我們去看球賽
P∧Q-->R
（2）P：天氣好，Q：老王來。 P-->√Q
2,，P→(Q→R) →＾P∨(＾Q∨R)→＾P∨＾Q∨R
Q→(P→R） →＾Q∨(＾P∨R)→＾Q∨＾P∨R
3,求公式 的主析取範式:構造真值表；利用等價公式求
4，（1）P(x):實數，Q(x)：有理數 (存在x)(P(x)→Q(x))
(2)P(x):人，Q(x)：犯錯誤；＾((存在x)(P(x)∧＾Q(x)))
「存在」符號沒法打，希望你懂。