逻辑问题2006年最终答案.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)表示“有的自然数是奇数”，真命题； 故??xG(x))是假命题；