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

问题描述:

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

I don't know
s

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