逻辑试题2017上末答案.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))