命題邏輯復(fù)習(xí)題

1、精選優(yōu)質(zhì)文檔-傾情為你奉上命題邏輯一、選擇題（每題3分）1、下列句子中哪個是命題？ ( )A、你的離散數(shù)學(xué)考試通過了嗎？ B、請系好安全帶！ C、 是有理數(shù) D、 本命題是假的2、下列句子中哪個不是命題？ ( )A、你通過了離散數(shù)學(xué)考試 B、我倆五百年前是一家C、 我說的是真話 D、 淮海工學(xué)院是一座工廠3、下列聯(lián)接詞運算不可交換的是( )A、 B、 C、 D、 4、命題公式不能表述為( )A、或 B、非每當 C、非僅當 D、除非，否則5、永真式的否定是 ( )A、 永真式 B、永假式 C、可滿足式 D、 以上答案均有可能6、下列哪組賦值使命題公式的真值為假( )A、假真 B、假假 C、真真

2、D、真假7、下列為命題公式成假指派的是( )A、 B、 C、 D、8、 下列公式中為永真式的是 ( )A、 B、 C、 D、9、 下列公式中為非永真式的是( )A、 B、 C、D、10、下列表達式錯誤的是( )A、 B、C、 D、11、下列表達式正確的是( )A、 B、 C、 D、12、下列四個命題中真值為真的命題為( )（1）當且僅當是奇數(shù) （2）當且僅當不是奇數(shù)；（3）當且僅當是奇數(shù) （4）當且僅當不是奇數(shù)A、（1）與（2） B、（1）與（4） C、（2）與（4） D、（3）與（4）13、設(shè)：龍鳳呈祥是成語，：雪是黑的，：太陽從東方升起，則下列假命題為( )A、 B、 C、 D、 14、設(shè)

3、：我累，：我去打球，則命題：“除非我累，否則我去打球”的符號化為（ ）A、 B、 C、 D、15、設(shè)：我聽課，：我睡覺，則命題 “我不能一邊聽課，一邊睡覺”的符號化為( )A、 B、 C、 D、提示：16、設(shè)：停機；：語法錯誤；：程序錯誤，則命題 “停機的原因在于語法錯誤或程序錯誤” 的符號化為（ ）A、 B、 C、 D、17、設(shè)：你來了；：他唱歌；：你伴奏則命題 “如果你來了，那末他唱不唱歌將看你是否伴奏而定” 的符號化為（ ）A、 B、 C、 D、18、在命運題邏輯中，任何非永真命題公式的主合取范式都是（ ）A、 存在并且唯一 B、存在但不唯一 C、 不存在 D、 不能夠確定19、在命題邏

4、輯中，任何非永假命題公式的主析取范式都是（ ）A、 存在并且唯一 B、存在但不唯一 C、 不存在 D、 不能夠確定20、個命題變元所產(chǎn)生互不等價的極小項項數(shù)為（ ）A、 B、 C、 D、21、個命題變元所產(chǎn)生互不等價的極大項項數(shù)為（ ）A、 B、 C、 D、二、填充題（每題4分）1、設(shè)：你努力，：你失敗，則 “雖然你努力了，但還是失敗了” 符號化為.2、設(shè)：它占據(jù)空間，：它有質(zhì)量，：它不斷運動，：它叫做物質(zhì)，則 “占據(jù)空間的，有質(zhì)量的而且不斷運動的叫做物質(zhì)”符號化為.3、一個命題含有個原子命題，則對其所有可能賦值有 種.4、推理規(guī)則的名稱為假言推理.5、推理規(guī)則的名稱為拒取式.6、推理規(guī)則的名

5、稱為析取三段論.7、推理規(guī)則的名稱為前提三段論.8、當賦予極小項足標相同的指派時，該極小項的真值為1，當賦予極大項足標相同的指派時，該極大項的真值為0.9、任意兩個不同極小項的合取式的真值為0，而全體極小項的析取式的真值為1.10、任意兩個不同極大項的析取式的真值為1，而全體極大項的合取式的真值為0.11、個命題變元可構(gòu)造包括的不同的主析取范式類別為.12、個命題變元可構(gòu)造包括的不同的主合取范式類別為.三、問答題（每題6分）1、設(shè)、是任意命題公式，請問分別表示什么？其有何關(guān)系？2、設(shè)、是任意命題公式，請問分別表示什么？其有何關(guān)系？3、設(shè)、是任意命題公式，若 ，則成立嗎？為什么？4、設(shè)、是任意命

6、題公式，若 ，則成立嗎？為什么？5、設(shè)、是任意命題公式，一定為真嗎？為什么？6、設(shè)、是任意命題公式，一定為真嗎？為什么？四、填表計算題（每題10分）1、對命題公式 ，要求（1）用或填補其真值表的空格處；（2）求該命題公式的主析取范式與主合取范式.解：000110112、對命題公式 ，要求（1）用或填補其真值表的空格處；（2）求該命題公式的主析取范式與主合取范式.解：0000010100111001011101113、對命題公式 ，要求（1）用或填補其真值表的空格處；（2）求該命題公式的主析取范式與主合取范式.解：0000010100111001011101114、對命題公式，要求（1）用或填補

7、其真值表的空格處；（2）求該命題公式的主析取范式與主合取范式.解： 000001010011100101110111 5、對命題公式，要求（1）用或填補其真值表的空格處；（2）求該命題公式的主析取范式與主合取范式.解： 00011100011111010101001110111000110101011111000011110001 五、證明題（每題10分）1、證明下列邏輯恒等式：.2、證明下列邏輯恒等式： .3、證明下列邏輯恒等式：.4、用邏輯推理規(guī)則證明： ， ， . 5、用邏輯推理規(guī)則證明： .6、用邏輯推理規(guī)則證明：， ，. 7、用邏輯推理規(guī)則證明：， . 8、用邏輯推理規(guī)則證明： .9

8、、用邏輯推理規(guī)則證明：10、用邏輯推理規(guī)則證明：.11、用邏輯推理規(guī)則證明：， . 12、用邏輯推理規(guī)則證明：13、用邏輯推理規(guī)則證明：，.14、用邏輯推理規(guī)則證明：，.15、用邏輯推理規(guī)則證明： ， . 16、用邏輯推理規(guī)則證明：， 不能同時為真.17、證明下列命題推得的結(jié)論有效：或者邏輯難學(xué)，或者有少數(shù)學(xué)生不喜歡它；如果數(shù)學(xué)容易學(xué)，那么邏輯并不難學(xué).因此，如果許多學(xué)生喜歡邏輯，那么數(shù)學(xué)并不難學(xué).18、證明下列命題推得的結(jié)論有效：如果今天是星期三，那么我有一次離散數(shù)學(xué)或數(shù)字邏輯測驗；如果離散數(shù)學(xué)課老師有事，那么沒有離散數(shù)學(xué)測驗；今天是星期三且離散數(shù)學(xué)老師有事.所以，我有一次數(shù)字邏輯測驗.19、證明下列命題推得的結(jié)論有效：如果馬會飛或羊