将下列命题符号化。
(1)若a和b是奇数。则a+b是偶数。
(2)只有在正整数n≤2时,不定方程x+y"=z"才有正整数解。
(3)天在下雨,我没有去书店。
(4)两矩阵相等当且仅当其对应的元素分别相等。
(5)这苹果虽然甜,但我不打算买。
(6)除非我接到正式邀请,否则我不去参加圣诞晚会。
(7)我和小王是同学。
(8)因为他要非今晚的NBA篮球比赛,所以他没有来上自习。
(9)尽管她学习成绩不太好,但她的动手能力很强。
(10)我的手机没电了。借你的手机用一下。
在一阶逻辑中将下面命题符号化,并分别讨论个体域限制为(a)、(b)条件时命题的真值.
(1)凡有理数都能被2整除.
(2)有的有理数能被2整除.
其中,(a)个体域为有理数集合;(b)个体域为实数集合.