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