离散数学习题课2

谓词逻辑在一元谓词逻辑中，分别在（a）（b）（c）时将下面命题符号化并讨论命题的真值： 凡是整数都能被2整除有的整数能被2整除其中（a）：个体域为整数集合；（b）：个体域为偶数集合；（c）个体域为实数