离散数学问题.命题符号化。

Question

1.将下列命题符号化。
（1）如果我吃饭前完成家庭作业，并且天不下雨的话，那么，我们就去看球赛。
（2）虽然天气很好，老王还是不来。
2.用等值演算法验证等值式P→(Q→R) Q→(P→R)。
3.求公式 的主析取范式。
4.用谓词和量词，符号化下列命题。
（1）某些实数是有理数。
（2）没有不犯错误的人。

Answer 1

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)))
“存在”符号没法打，希望你懂。

Answer 2

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)))

Answer 3

I don't know
s