逻辑试题上末答案.docVIP

2006年上学期《逻辑导论》期末考试 系别 姓名 学号 把下列语句翻译为谓词逻辑的公式，设个体域为全域（20分）： 北京大学是中国最好的大学。（要求：不把“最好”当性质） 解：令U表示“中国的大学”，B表示“…比…好”，则该语句翻译为： U(a) ∧(x(U(x) ∧x≠a(B(a, x)) 有最小的自然数，但没有最大的自然数。 解：N：自然数；R：≤；S：≥ (x(N(x)∧(y(N(y)(R(x, y))) ∧((x(N(x)∧(y(N(y)(S(x, y))) 每个人都有唯一的母亲，但并非每位母亲都有唯一的子女。 解：H：人；M(x, y)：x是y的母亲。 (x(H(x)((y(M(y, x)∧(z(M(z, x)(z＝y)))∧((x((y(M(x, y)((z(M(x, z)(z＝y))) 4．有些学生尊敬所有的老师，所以，所有老师都有学生尊敬。 解：S：学生；T：老师；R：尊敬 (x(S(x)∧(y(T(y)(R(x, y))) ／∴(x(T(x)((y(S(y)∧R(y, x))) 二、用一阶树形图判定下列公式或推理是不是普遍有效的（15分）： （1）(x(F(x)∨G(x))((xF(x)∨(xG(x) 解：(((x(F(x)∨G(x))((xF(x)∨(xG(x)) √ ( (x(F(x)∨G(x)) (((xF(x)∨(xG(x)) √ ( ((xF(x) √ ((xG(x) √ ( (F(() ( (G(() ( F(()∨G(() √ F(() G(() × ( F(()∨G(() √ F(() G(() × 结论：图已经画完，有一个不闭的枝，因此，带否定号的公式可满足，原公式不是普遍有效式。 （2） ((xF(x)((xG(x))((x(F(x)∧(yH(y)(G(x)) 解：((((xF(x)((xG(x))((x(F(x)∧(yH(y)(G(x))) √ ( ((xF(x)((xG(x)) √ (((x(F(x)∧(yH(y)(G(x))) √ ( ((F(()∧(yH(y)(G(()) √ ( F(()∧(yH(y) √ (G(() ( F(() (yH(y) ( ((xF(x) (xG(x)) ( ( (F(() G(() × × 结论：图已经画完，所有的枝都是闭枝，因此，带否定号的公式不可满足，原公式是普遍有效式。 （3） (x(A(x)∧(y(B(y)(C(x,y))) /∴(y(B(y)((x(A(x)∧C(x,y))) 解： (x(A(x)∧(y(B(y)(C(x,y))) √ ((y(B(y)((x(A(x)∧C(x,y))) √ ( ((B(()((x(A(x)∧C(x, ())) √ ( B(() ((x(A(x)∧C(x, ()) ( A(()∧(y(B(y)(C((, y)) √ ( A(() (y(B(y)(C((, y)) ( B(()(C((, () √ (B(() C((, ())) × ( ((A(()∧C((, ()) √ (A(() (C((, ()) × × 结论：图已经画完，所有的枝都是闭枝，因此，带否定号的公式不可满足，原公式是普遍有效式。 三、分别构造一个相应的解释，证明（15分）： （1）(xF(x)∧(xG(x)((x(F(x)∧G(x))不是普遍有效的。 解：个体域：N；F：偶数；G：奇数。 (xF(x)表示“有的自然数是偶数”，真命题； (xG(x)表示“有的自然数是奇数”，真命题； 因此，该蕴涵式的前件是真命题； (x(F(x)∧G(x))表示“有的自然数既是偶数又是奇数”，假命题。 整个蕴涵式前件真后件假，假命题。 所以，该蕴涵式不是普遍有效的。 （2）((xF(x)(((xG(x))((x((F(x)∧G(x))是可满足的。 解：个体域：N；F：偶数；G：奇数。 (xF(x)表示“所有自然数是偶数”，假命题； (xG(x)表示“有的自然数是奇数