命题符号化.

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)))
“存在”符号没法打,