离散数学试题及答案5

总：100

离数考时：100钟1吸令F(x)表示x，G(x)表x要呼为正确：：)Ax(F(x)→B、任意Cx(F(x)→D、存在Λ2、"动."令F(x)x是村，G(x)x.则原命题可符号化为(正确答B,答：)A意x(F(x)→G(x))B、意x(F(x)∧G(x))在x(F(x)→D、存在∧3、".，G(x)表示x考了格为：A,答题答案：A在x(F(x)∧G(x))B、意x(F(x)∧G(x))意x(F(x)→D、存在→4、"饭"F(x)表是人，x吃饭.则原为：：A﹁x)(F(x)B、﹁(任→G(x))C、任意→G(x))D、存在x(F(x)→G(x))5、"老"是人，G(x)表示x会长生不老.为：：1

A(意x)(F(x)∧G(x))B、任→G(x))C、(任→D、存x(F(x)→G(x))6因为并非所有的鸟表示x，表示飞为：：A意x)(A(x)→B(x)))B在﹁C任x)(A(x)→B(x)))→(存在﹁D、任意﹁B7A(x)x，B(x)代表x聪明C(x)代成绩好符号为：：A在∧B(x)))(﹁(意∧B(x))→C(x)))B、(在∧B(x)))V(﹁任意x)((A(x)∧B(x))→C(x)))C任意∧B(x)))∧﹁(意x)((A(x)∧B(x))→C(x)))D任意∧8→是)A意→B→B(x)C在x(A(x)→B(x))D、在9意∧在xB(x)的是正确A在任→B(y))B意x意y(A(x)→在x在→D、在x(A(x)→B(y))意xP(x)=>P(c)是：A,答：A称指定规则称推广规则C在指定规则(2

D则1AB,：A∧A(a2)∧…∧A(an)B、存在∨A(a2)∨A(an)C、﹁任意x﹁D、任意x﹁A(x)2）正确答案：A∧A(a3)∧…∧A(an)B、存在∨A(a3)…∨A(an)C、﹁任意x﹁D、任意x﹁A(x)3）正确答案：Ax(A(x)(意xA(x)∧任意xB(x))B∨B(x))(C存x﹁A(x)D在意﹁A4(正确答案：AC,答题答案：Ax任意yA(xy任，B、存在∨B(x))(C存x﹁A(x)D在x存在，y)存在y存在，y)5式(：AB,答题答案：)AP(x)→P(x))B、任意xP(x)C、存在意D、﹁(P(x)→任意，6？正确答案：3

Ax存yP(x，xyP(xB、x，y)<->y任意xP(x，C、﹁任意x(P(x)意yQ(y))意意在x(﹁7？：：A﹁P(x)意y(G(xy)→B任意x意yP(xy)<->意y意C意意D意x(Q(x))<->存Q8(正确答案AB,：ABC、交换规则D、9正：ABCD,：ABC、D、）：ABCD,答题答案：AB、若是谓词公式，则﹁也是谓C、若和B都是谓词公则A∧B)、、(A→B)、D、A是谓词公式，(意x)A和(在x)A式1是素数符：，G(y)：是4

数.a：则该：F(a)∧G(a：：)AB25于则5大于2.可符号化L(xy)大于y.a5b：3，：2则该L(5,3)→：AB3如果李明和张丽同.”“H(x，y)：和y同.，，：H(a，b)VH(b，c)→H(a，c)正确答案B,：AB4的。：A,答题答案)AB5“存(正确答案：B,答题：AB6A在任何解释下都为真，则A为逻辑有效式或永真式(正：A,答题答案：AB7和B则AB)、→B)、