謂詞邏輯復(fù)習(xí)題答案

1、一、選擇題（每題3分）1、設(shè)個(gè)體域，則謂詞公式消去量詞后，可表示為為（C）A、B、C、D、2、設(shè)個(gè)體域，則謂詞公式去掉量詞后，可表示為（ D）A、B、C、D、提示：原式3、設(shè)個(gè)體域，使謂詞公式的真值為的謂詞滿(mǎn)足（ D）A、 B、C、D、4、設(shè)個(gè)體域，：，：，則謂詞公式為(A)A、永真式 B、永假式 C、可滿(mǎn)足式 D、無(wú)法判定5、謂詞公式的真值（ D）A、與謂詞變?cè)嘘P(guān)，與論述域無(wú)關(guān) B、與謂詞變?cè)獰o(wú)關(guān)，與論述域有關(guān)C、與謂詞變?cè)驼撌鲇蚨加嘘P(guān) D、與謂詞變?cè)驼撌鲇蚨紵o(wú)關(guān)提示：.6、謂詞公式的真值（ D）A、與謂詞變?cè)嘘P(guān)，與論述域無(wú)關(guān) B、與謂詞變?cè)獰o(wú)關(guān)，與論述域有關(guān)C、與謂詞變?cè)驼撌鲇蚨?/p>

2、有關(guān) D、與謂詞變?cè)驼撌鲇蚨紵o(wú)關(guān)7、謂詞公式中的變?cè)–）A、僅是自由的 B、僅是約束的C、既是自由的也是約束的 D、既不是自由的也不是約束的8、設(shè)：全總個(gè)體域，：是人，：要死的，則命題“人總是要死的”的邏輯符號(hào)化為（ D）A、B、C、 D、9、設(shè)：全總個(gè)體域，：是人，：犯錯(cuò)誤，則命題“沒(méi)有不犯錯(cuò)誤的人”的邏輯符號(hào)化為（ D）A、B、C、 D、10、設(shè)：全總個(gè)體域，：是花，：是人，：喜歡，則命題“有的人喜歡所有的花”的邏輯符號(hào)化為（ D）A、B、C、D、11、設(shè)：全總個(gè)體域，：是演員，：是老師，：欽佩，則命題“所有演員都?xì)J佩某些老師”的邏輯符號(hào)化為(B)A、B、C、D、12、設(shè)是不含自由變?cè)?/p>

3、的謂詞，則下列表達(dá)式錯(cuò)誤的有(B)A、B、C、D、13、設(shè)是不含自由變?cè)闹^詞，則下列表達(dá)式錯(cuò)誤的有(B)A、B、C、D、14、下列表達(dá)式錯(cuò)誤的有(A)A、B、C、D、15、下列表達(dá)式錯(cuò)誤的有(B)A、B、C、D、16、設(shè)是不含自由變?cè)闹^詞，則下列表達(dá)式錯(cuò)誤的有(B)A、B、C、D、17、設(shè)是不含自由變?cè)闹^詞，則下列表達(dá)式錯(cuò)誤的有(B)A、B、C、D、18、下列表達(dá)式錯(cuò)誤的有(A) A、B、C、D、19、設(shè)是個(gè)體域中任一確定元素，則推理規(guī)則可稱(chēng)為(A)A、B、C、D、20、設(shè)是個(gè)體域中任一確定元素，則推理規(guī)則可稱(chēng)為(D)A、B、C、D、二、填充題（每題4分）1、若個(gè)體域僅包含一個(gè)元素，則謂

4、詞公式的真值為2、若個(gè)體域，指定謂詞滿(mǎn)足右表則謂詞公式的真值為3、若個(gè)體域，指定謂詞滿(mǎn)足右表則謂詞公式的真值為4、設(shè)：全總個(gè)體域，：是女同志，：是教練員，：是運(yùn)動(dòng)員，則命題“有些女同志既是教練員又是運(yùn)動(dòng)員”的邏輯符號(hào)化為5、設(shè)個(gè)體域：實(shí)數(shù)域，：，則命題“存在著實(shí)數(shù)，對(duì)所有的實(shí)數(shù)，都有”的邏輯符號(hào)化為6、設(shè)：全總個(gè)體域，：是實(shí)數(shù)，：，則命題“對(duì)所有的實(shí)數(shù)，都存著實(shí)數(shù)，使得”的邏輯符號(hào)化為7、設(shè)個(gè)體域：人類(lèi)，：與一樣高，則命題“所有的人都不一樣高”的邏輯符號(hào)化為8、設(shè)：全總個(gè)體域，：是人，：與一樣高，則命題“所有的人都不一樣高”的邏輯符號(hào)化為9、設(shè)：全總個(gè)體域，：是質(zhì)數(shù)，：是奇數(shù)，：，則命題“除以

5、外的所有質(zhì)數(shù)都是奇數(shù)”的邏輯符號(hào)化為10、設(shè)：全總個(gè)體域，：是大象，：是老鼠，：比重，則命題“大象比老鼠重”的的邏輯符號(hào)化為11、若已證為真，則可假設(shè)某一確定的個(gè)體使為真，此推理規(guī)則被稱(chēng)為12、令是公理與前提的合取，中無(wú)的自由出現(xiàn)，若從可推出，則從也可推出，此推理規(guī)則被稱(chēng)為三、問(wèn)答題（每題6分）1、設(shè)個(gè)體域：實(shí)數(shù)域，：，：，說(shuō)明謂詞公式的含義，并指出其真值.答：對(duì)于任意兩個(gè)實(shí)數(shù)，如果，那么；其真值為.2、設(shè)：全總個(gè)體域，：是大學(xué)生，：是明星，：崇尚，說(shuō)明謂詞公式的含義，并指出其真值.答： 有些大學(xué)生不崇尚某些明星；其真值為.3、若個(gè)體域，：，則謂詞公式為真嗎？為什么？答：為假；.4、若個(gè)體域，

6、：，：,：，:，則謂詞公式為真嗎？為什么？答：為真；.5、謂詞公式為真嗎？為什么？答：不為真；設(shè)個(gè)體域：實(shí)數(shù)域，：，則.6、謂詞公式為真嗎？為什么？答：為真；.四、證明題（每題10分）1、求證：證明：左右2、設(shè)個(gè)體域，求證：證明：左右3、用邏輯推理規(guī)則證明：證明：（），（拒取式）（），（假言推理），（合取式）4、用邏輯推理規(guī)則證明：證明：（）（）（逆反律），（假言三段論）（）5、用邏輯推理規(guī)則證明：證明：（）（），（拒取式）（），（析取三段論）（）6、用邏輯推理規(guī)則證明：證明：(德.摩根律)(蘊(yùn)含表達(dá)式)(量詞否定)，（拒取式）(量詞否定)(德.摩根律)(蘊(yùn)含表達(dá)式)7、用邏輯推理規(guī)則證明：證

7、明：，（假言推理）（）（）（）（加法式），（假言推理），（合取式）（）（）8、用邏輯推理規(guī)則證明：證明：（），（假言推理）（）（加法式），（假言推理）（）9、用邏輯推理規(guī)則證明：.證明：（附加前提）（）（），（假言推理）（）10、用邏輯推理規(guī)則證明：.證明：（附加前提）（量詞否定）（）（），（析取三段論）（），（拒取式）（）11、證明下列命題推得的結(jié)論有效：凡15的倍數(shù)都是3的倍數(shù)，凡15的倍數(shù)都是5的倍數(shù)，所以有些5的倍數(shù)是3的倍數(shù).證明：設(shè)個(gè)體域?yàn)檎麛?shù)集，：是的倍數(shù).該推理就是要證明：，（）（），（假言推理）（），（假言推理），（合取式）（）12、證明下列命題推得的結(jié)論有效：教師都上課，有

8、一個(gè)人不上課，則該人一定不是教師.證明：設(shè)個(gè)體域：人類(lèi)，是教師，上課.該推理就是要證明：，.（）（），（拒取式）（）.13、證明下列命題推得的結(jié)論有效：只要今天天氣不好，就一定有考生不能提前進(jìn)入考場(chǎng)，當(dāng)且僅當(dāng)所有考生提前進(jìn)入考場(chǎng)，考試才能準(zhǔn)時(shí)進(jìn)行，故若考試準(zhǔn)時(shí)進(jìn)行，那么天氣就好.證明：設(shè)個(gè)體域：所有考生,：今天天氣好,：考試準(zhǔn)時(shí)進(jìn)行,：提前進(jìn)入考場(chǎng).該推理就是要證明：,.（量詞否定）（逆反律）（等值表達(dá)式）（簡(jiǎn)化式），（假言三段論）.14、證明下列命題推得的結(jié)論有效：舞者皆有風(fēng)度，學(xué)生王華是舞者，則某些學(xué)生有風(fēng)度.證明：設(shè)：全總個(gè)體域,：是舞者,：有風(fēng)度,：是學(xué)生,：王華.該推理就是要證明：，.（）（簡(jiǎn)化式），（假言推理）（簡(jiǎn)化