屈婉玲版离散数学课后习题答案

第四章部分课后习题参考答案3. 在一阶逻辑中将下面将下面命题符号化,并分别讨论个体域限制为(a),(b)条件时命题的真值:(1) 对于任意x,均有 QUOTE 2=(x+ QUOTE )(x QU