注：不含主觀題第1題設(shè)P:天晴,Q:我去打球,則命題“若天晴,則我不去打球”可符號化為(

)。A?Q?PBP??QCP??QD?P?Q第2題永真式的否定一定是()A永真式B永假式C可滿足式D重言式能第3題設(shè)p:天晴，q:小王去踢足球?！耙?yàn)樘烨纾詮埲A去踢足球.”可符號化為：q?p。第4題

設(shè)p:天晴，q:小王去踢足球?！皬埲A去踢足球僅當(dāng)天晴的時(shí)候.”可符號化為：p?q。第5題

語句“你知道我在等你嗎?”是命題。()第6題

語句“若這個(gè)公式為永真蘊(yùn)含式,則它的真值不能為假?！笔敲}。

第7題

語句“下列語句不是命題”是命題。()第8題

命題“如果雪是白的,那么1+2=5”是真命題。

()第9題若A：張三和李四都是網(wǎng)紅主播，則?A：張三和李四都不是網(wǎng)紅主播。第10題五個(gè)基本聯(lián)結(jié)詞的運(yùn)算優(yōu)先級順序是：?，ù，ú，?，?

。第11題基本聯(lián)結(jié)詞“ù，ú，?，?”的運(yùn)算是可交換的。第12題P?Q為真當(dāng)且僅當(dāng)P,Q同為真假。第13題等價(jià)聯(lián)結(jié)詞“?”是自然語言中的“充分必要條件”、“當(dāng)且僅當(dāng)”等的邏輯抽象。第14題(PúQ)??Pú（R??S）不是命題公式。第15題(Q?P)ùQ?R的一組成假賦值為001。第二單元測驗(yàn)：等價(jià)演算與范式第1題

若公式G與H等價(jià),則G和H的真值表完全相同。()第2題等值符號“?”描述了兩個(gè)公式G與H之間的一種邏輯等價(jià)關(guān)系。第3題G?

H描述二者的關(guān)系，它的結(jié)果不是命題公式。第4題等價(jià)關(guān)系(P∧Q)∨(P∧R)?

P∧(Q∨R)是正確的。第5題第6題等價(jià)關(guān)系┐(P∧Q)?┐P∧┐Q是正確的。第7題?Q既是簡單析取式也是簡單合取式，既是合取范式也是析取范式。第8題Pù

Qù

R是簡單合取式，既是合取范式也是析取范式。第9題

命題公式的析取范式和合取范式都存在,并且是唯一的。()第10題

命題公式的每一個(gè)成假賦值都對應(yīng)一個(gè)極小項(xiàng)。()第11題求主析取范式時(shí)，若析取范式的某一短語H中缺少某一命題變元P，則用公式：（┐Ｐ∨Ｐ）∧H

?

H

將命題變元P補(bǔ)進(jìn)去。第12題

若有3個(gè)命題變元的公式G的主析取方式為:m1∨m3∨m5∨m7,則其主合取范式為M2∧M4∧M6∧M8。()第13題

已知命題公式A中含3個(gè)命題變項(xiàng)p,q,r,并知道它的成真賦值分別為001,010,111,則A的主析取范式為m1m2m7。

()第14題公式Q→(P∨(P∧Q))可化簡為()。A┐P,BQ→P,CP,DP→Q,第15題設(shè)P1，P2，…，Pn是不同的命題變元，關(guān)于P1，P2，…，Pn的極小項(xiàng)是簡單合取式，但簡單合取式不一定是極小項(xiàng)。第三單元測驗(yàn)：命題邏輯推理與證明第1題下列表達(dá)公式之間的關(guān)系正確的是()A┐Q?Q→PB┐Q?P→QCP?P→QDP→(Q→Q)?┐P第2題下列表達(dá)公式之間的關(guān)系錯(cuò)誤的是()A┐(P→Q)?PBP?P∧QCP∧Q?P∨QDP∧(P→Q)?Q第3題

若G?H,則蘊(yùn)涵式G→H是重言式。()第4題若G?H，則有G?H且H?G第5題G→

H的結(jié)果不是命題公式。第6題

推理有效,指的是推理的結(jié)論是前提的合乎邏輯的結(jié)果。()第7題

如果推理是有效的話,那么推理的前提都為真時(shí),結(jié)論可能為假。()第8題

A?A∧B是正確的。()第9題（A→Ｂ）∧┐Ｂ?Ａ是正確的。第10題（A→Ｂ）∧（C→D）∧（┐B∨┐D）

?（

┐A∨┐C）是正確的。

第11題直接證明法HT

P→S與H∧PT

S（附加結(jié)論引入）等價(jià)。第12題“我選修了數(shù)理邏輯和離散數(shù)學(xué)，因此我選修了數(shù)理邏輯”，這是一個(gè)有效推理。第13題“如果今天下雨，我將呆在家里；我今天沒有呆在家里，所以今天沒有下雨”，這是一個(gè)有效推理。第14題

以下推理過程是正確的。（

）（1）

p

P規(guī)則（2）

p?(?q?r)

P規(guī)則（3）

?q?r

（1）（2），假言推理第15題以下推理過程是正確的。（

）（1）

?p

P規(guī)則（2）

r?pP規(guī)則（3）

r

（1）（2），拒取式第四單元測驗(yàn)：謂詞與謂詞邏輯符號化第1題

謂詞邏輯中,原子命題是最小單位。()第2題

而用以刻劃客體的性質(zhì)或客體之間的關(guān)系即是謂詞。()第3題設(shè)a：中國，W(x)：x位于亞洲,“中國位于亞洲”，可以符號化為：W()第4題設(shè)H(x)：x是人，G(x)：x沉迷于游戲，則“有人沉迷于游戲”，可以符號化為：$x(H(x)ùG(x))。第5題設(shè)H(x)：x是人，G(x)：x愛美，則“人都愛美”，可以符號化為："x(H(x)ùG(x))。第6題

“所有人都愛看電影是不對的”可符號化為：┐"x(F(x)→G(x))其中，F(xiàn)(x)：x是人，G(x):x愛看電影。第7題令F(x):x是火車,G(x):x是卡車,L(x,y)：x快于y，則“有的火車快于有的卡車”可以符號化為：

$x(F(x)ù

$y(G(y)ùL(x,y)))。第8題令F(x):x是負(fù)數(shù),G(x):x是實(shí)數(shù),L(x,y)：x<y，則“每個(gè)負(fù)數(shù)都小于某些實(shí)數(shù)”可以符號化為：

("x)（F（x）→($y)（G（y）∧L（x，y）））。第9題設(shè)M（x）：x是人。C（x）：x喜歡玩游戲。則“盡管有人喜歡玩游戲，但未必一切人都喜歡玩游戲”可以完整地符號化為：($x)(M(x)∧C(x))

∧

┐("x)(M(x)→C(x))

。第10題設(shè)個(gè)體域?yàn)檎麛?shù)集，則“$y"x(x-y=0)”公式的意義是(

)。A對任一整數(shù)x存在整數(shù)y滿足x-y=0B存在整數(shù)y對任一整數(shù)x滿足x-y=0第五單元測驗(yàn)：謂詞公式第1題公式("x)(P(x)→R(x))∧($y)Q(x,y)中"x的轄域是（P(x)→R(x))∧($y)Q(x,y)

。第2題公式("x)P(x)→P(a)的真值為0

。第3題($x)┐G(x)?┐("x)G(x)是正確的。第4題

($x)(A(x)∧B(x))

?

($x)A(x)∧($x)B(x)是正確的。第5題("x)(A(x)∧B(x))?

("x)A(x)∧("x)B(x)是正確的。第6題

("x)("y)P(x,y)?

("y)("x)P(x,y)

是正確的。第7題"x(G(x，y)∨$yH(y))是謂詞公式。第8題$y"x(→P(x,y))是謂詞公式。第9題有以下公式：（$y)("x)(P(y,z)→Q(x,y))∧($y)R(x,y)，R(x,y)中的x,y均是約束出現(xiàn)。()第10題運(yùn)用約束變元的改名規(guī)則對公式改名后，與原公式一定是等價(jià)的。第11題運(yùn)用約束變元的改名規(guī)則和自由變元的代入規(guī)則時(shí),均不能改變原有的約束關(guān)系。()第12題設(shè)個(gè)體域D是正整數(shù)集合，公式“$x"y(x+y=x)”的真值為假。第13題前束范式是指所有量詞都非否定地放在公式的最前端且其轄域都延伸至公式的末端的謂詞公式。()第14題當(dāng)個(gè)體域?yàn)橛邢藜瘯r(shí)，如D={a1,a2,…,an}，

$xA(x)?A(a1)úA(a2)ú…úA(an)。第15題一個(gè)謂詞公式在不同的解釋下可能得到不同的真值。()第六單元：謂詞邏輯推理與證明單元測試第1題為了在推導(dǎo)過程中消去量詞，可以引用規(guī)則UG和規(guī)則EG來消去量詞。第2題如既要使用規(guī)則US又要使用規(guī)則ES消去公式中的量詞(只要有可能，我們總是先使用規(guī)則ES，再使用規(guī)則US)。第3題1.

以下推理過程是正確的。⑴

?P(a)ùS(a)P規(guī)則(2)

?P(a)

(1)，化簡第4題以下推理過程是正確的。(1)

P(x)?Q(x)

P規(guī)則(2)

P(c)

P規(guī)則(3)

Q(c)

(1),(2)假言推理第5題以下推理過程是正確的。(1)

("x)($y)P(x,y)

P規(guī)則(2)

($y)P(a,y)

US,(1)第6題以下推理過程是正確的。(1)

("x)($y)P(x,y)

P規(guī)則

(2)

("x)

P(x,a)

US,(1)第7題以下推理過程是正確的。(1)

($y)(G(z,y)→H(y))

P規(guī)則(2)

G(z,c)→H(c)

ES,(2)第8題以下推理過程是正確的。⑴

T(y)??F(y)P規(guī)則(