离散数学命题符号化?将下列命题符号化?
问题描述：
离散数学命题符号化?将下列命题符号化?
1,我不去看电影,我要复习功课.
2,只有我不复习功课,我才去看电影.
3,也许气温在零度以下,也许在下雪,但如果在零度以下,就不在下雪.
4,若1+1=3,就存在上帝.
答
P:我去看电影 q:我要复习功课 q->﹁p