❶ 离散数学 排斥或符号化
因为两个命题都是针对同一个人，小王不可能既在宿舍，又在图书馆，用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)))
“存在”符号没法打，希望你懂。