问答题
简答题
在一阶逻辑中，分别在（a）个体域为自然数集合N，（b）个体域为实数集合R时将下面命题符号化并讨论命题的真值。
（1）对于任意的x，均有x2-2=（x+√2）（x-√2）；
（2）存在x，使得x+5=9。
【参考答案】
点击查看答案
