精品文档---下载后可任意编辑 一阶逻辑根本概念1． 在一阶逻辑中将下面命题符号化，并别离讨论个体域限制为〔1〕凡有理数都能被 2 整除。(a),(b)时命题的真值：〔2〕有的有理数能被 2 整除。此中(a)个体域为有理数调集 ,(b)个体域为实数调集。2． 在一阶逻辑中将下面命题符号化，并别离讨论个体域限制为(a),(b)时命题的真值：〔1〕对于任意的 x，均有 x2-2= (x+)(x-)。〔2〕存在 x，使得 x+5=9。此中(a)个体域为自然数调集， (b)个体域为实数调集。3． 在一阶逻辑中将以下命题符号化：〔1〕没有不克不及暗示成分数的有理数。〔2〕在北京卖菜的人不全是外地人。〔3〕乌鸦都是黑色的。〔4〕有的人天天熬炼身体。4． 在一阶逻辑中将以下命题符号化：〔1〕火车都比轮船快。〔2〕有的火车比有的汽车快。〔3〕不存在比所有火车都快的汽车。〔4“〕 但凡汽车就比火车慢 〞是不合错误的。5． 给定解释 I 如下：(a)个体域 D I 为实数调集 R。(b)DI 中特定元素=0。(c)特定函数 (x,y)=x-y ，x,y∈DI。(d)特定谓词(x,y) ：x=y， (x,y) ：x
