離散數(shù)學(xué)試題及答案5

總：100

離數(shù)考時(shí)：100鐘1吸令F(x)表示x，G(x)表x要呼為正確：：)Ax(F(x)→B、任意Cx(F(x)→D、存在Λ2、"動(dòng)."令F(x)x是村，G(x)x.則原命題可符號(hào)化為(正確答B(yǎng),答：)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會(huì)長(zhǎng)生不老.為：：1

A(意x)(F(x)∧G(x))B、任→G(x))C、(任→D、存x(F(x)→G(x))6因?yàn)椴⒎撬械镍B(niǎo)表示x，表示飛為：：A意x)(A(x)→B(x)))B在﹁C任x)(A(x)→B(x)))→(存在﹁D、任意﹁B7A(x)x，B(x)代表x聰明C(x)代成績(jī)好符號(hào)為：：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稱(chēng)指定規(guī)則稱(chēng)推廣規(guī)則C在指定規(guī)則(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、交換規(guī)則D、9正：ABCD,：ABC、D、）：ABCD,答題答案：AB、若是謂詞公式，則﹁也是謂C、若和B都是謂詞公則A∧B)、、(A→B)、D、A是謂詞公式，(意x)A和(在x)A式1是素?cái)?shù)符：，G(y)：是4

數(shù).a：則該：F(a)∧G(a：：)AB25于則5大于2.可符號(hào)化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)、