数理逻辑练习题及答案.pdf

一阶逻辑基本概念 1．在一阶逻辑中将下面命题符号化，并分别讨论个体域限制为(a),(b)时命题的真值： （1）凡有理数都能被2 整除。 （2）有的有理数能被2 整除。 其中 (a)个体域为有理数集合,(b)个体域为实数集合。 2．在一阶逻辑中将下面命题符号化，并分别讨论个体域限制为(a),(b)时命题的真值： 2 （1）对于任意的x，均有x -2= (x+)(x-)。 （2）存在x，使得x+5=9。 其中 (a)个体域为自然数集合，(b)个体域为实数集合。 3．在一阶逻辑中将下列命题符号化： （1）没有不能表示成分数的有理数。 （2）在北京卖菜的人不全是外地人。 （3）乌鸦都是黑色的。 （4）有的人天天锻炼身体。 4．在一阶逻辑中将下列命题符号化： （1）火车都比轮船快。 （2）有的火车比有的汽车快。 （3）不存在比所有火车都快的汽车。 （4）“凡是汽车就比火车慢”是不对的。 5．给定解释 I如下： (a)个体域 D 为实数集合 R。 I (b)D 中特定元素=0。 I (c)特定函数 (x,y)=x-y，x,y∈D 。 I (d)特定谓词 (x,y)：x=y，(x,y)：xy，x,y∈D 。 I 说明下列公式在 I下的含义，并指出各公式的真值： （1）xy(G(x,y)→┐F(x,y)) （2）xy(F(f(x,y）,a)→G(x,y)) （3）xy(G(x,y)→┐F(f(x,y),a)) （4）xy(G(f(x,y),a)→F(x,y)) 6．给定解释 I如下： （a）个体域D=N （N为自然数）。 （b）D中特定元素=2。 （c）D上函数(x,y)=x＋y，(x,y)=x·y。 （d）D上谓词(x,y)：x=y。 说明下列公式在 I下的含义，并指出各公式的真值： （1）xF(g(x,a),x) （2）xy(F(f(x,a),y)→F(f(y,a),x)) （3）xyz(F(f(x,y),z) （4）xF(f(x,x),g(x,x)) 7．证明下面公式既不是永真式也不是矛盾式： （1）x(F(x)→y(G(y)∧H(x,y))) （2）xy(F(x)∧G(y)→H(x,y)) 答案 1． （1）(a)中，xF(x)，其中，F(x)：x 能被 2 整除，真值为 0。 (b)中，x(G(x)∧F(x))，其中，G(x)：x 为有理数，F(x)同(a)中， 真值为 0。 （2）(a)中，xF(x)，其中，F(x)：x 能被 2 整除，真值为 1。 (b)中，x(G(x)∧F(x))，其中，F(x)同(a)中，G(x)：x 为有理数， 真值为 1。 2． 2 （1）(a)中，x(x -2=(x+)(x-))，真值为 1。 2 (b)中，x(F(x)→(x-2=(x+)(x-))))，其中，F(x)：x 为实数，真值 为 1。 （2）(a)中，x(x+5=9)，真值为 1。 (b)中，x(F(x)∧(x+5=9))，其中，F(x)：x 为实数，真值为 1。 3. 没指定个体域，因而使用全总个体域。