、会判断一个语句是否为命题（洳

练习：判断下列语句是否为命题

离散数学是计算机系的一

太阳系以外的星球上有生

青年人多么朝气蓬发呀！

你下午有会吗若无会，请

、注意五个命题联结词的使用会将命题进行符号化（如，

题的题型）或在判断体现逻辑联结词的逻辑有关系等。

练习：将以下命题符號化

如果你不去逛街那么我也不去逛街。

当且仅当王红没努力学习离散数学

王晓聪明，但是他不用功

小潘不能既跳舞又唱歌

如果你來了，他就唱歌而且陪你跳舞

或者雪是黑色的，或者太阳从东方升起

当且仅当美国位于非洲。

）如果石头会说话那么月亮上就会出現海洋。

如果天气寒冷小梅就不去游泳

无向图、有向图、关联与相邻、簡单图、完全图、正则图、子图、补