數(shù)理邏輯部分綜合練習(xí)題

數(shù)理邏輯部分綜合練習(xí)題數(shù)理邏輯部分綜合練習(xí)題數(shù)理邏輯部分綜合練習(xí)題數(shù)理邏輯部分綜合練習(xí)題編制僅供參考審核批準(zhǔn)生效日期地址：電話：傳真:郵編:數(shù)理邏輯部分綜合練習(xí)一、單項(xiàng)選擇題1．設(shè)P：我將去打球，Q：我有時(shí)間．命題“我將去打球，僅當(dāng)我有時(shí)間時(shí)”符號(hào)化為()． A．B．C．D．2．命題公式PQ的合取范式是()．A．PQB．（PQ）（PQ）C．PQD．（PQ）3．命題公式的析取范式是()．A．BC．D． 4．下列公式成立的為()．A．PQPQB．PQPQC．QPPD．P(PQ)Q5．下列公式()為重言式．A．PQPQB．(Q(PQ))(Q(PQ))C．(P(QP))(P(PQ))D．(P(PQ))Q 6．設(shè)A（x）：x是人，B（x）：x是學(xué)生，則命題“不是所有人都是學(xué)生”可符號(hào)化為（）．A．(x)(A(x)B(x))B．(x)(A(x)B(x))C．(x)(A(x)B(x))D．(x)(A(x)B(x)) 7．設(shè)A（x）：x是人，B（x）：x是工人，則命題“有人是工人”可符號(hào)化為（）．A．(x)(A(x)B(x))B．(x)(A(x)B(x))C．(x)(A(x)B(x))D．(x)(A(x)B(x))8．表達(dá)式中的轄域是()．A．P(x,y)B．P(x,y)Q(z)C．R(x,y)D．P(x,y)R(x,y)9．在謂詞公式(x)(A(x)→B(x)C(x，y))中，（）．A．x，y都是約束變?cè)狟．x，y都是自由變?cè)狢．x是約束變?cè)?，y都是自由變?cè)狣．x是自由變?cè)瑈都是約束變?cè)a(bǔ)充題：設(shè)個(gè)體域?yàn)樽匀粩?shù)集合，下列公式中是真命題的為()A．B．C．D．二、填空題1．命題公式的真值是．2．設(shè)P：他生病了，Q：他出差了．R：我同意他不參加學(xué)習(xí).則命題“如果他生病或出差了，我就同意他不參加學(xué)習(xí)”符號(hào)化的結(jié)果為．3．含有三個(gè)命題變項(xiàng)P，Q，R的命題公式PQ的主析取范式是．4．設(shè)個(gè)體域D＝{a,b},那么謂詞公式消去量詞后的等值式為．5．設(shè)個(gè)體域D＝{1,2,3}，A(x)為“x小于3”，則謂詞公式(x)A(x)的真值為6．謂詞命題公式(x)((A(x)B(x))C(y))中的自由變?cè)獮?三、公式翻譯題1．請(qǐng)將語(yǔ)句“今天是天晴”翻譯成命題公式．2．請(qǐng)將語(yǔ)句“小王去旅游，小李也去旅游．”翻譯成命題公式．3．請(qǐng)將語(yǔ)句“他去旅游，僅當(dāng)他有時(shí)間．”翻譯成命題公式．4．請(qǐng)將語(yǔ)句“所有人都努力工作．”翻譯成謂詞公式．四、判斷說(shuō)明題（判斷下列各題，并說(shuō)明理由．）1．命題公式的真值是1．2．命題公式P∧(PQ)∨P為永真式．3．下面的推理是否正確，請(qǐng)給予說(shuō)明．五．計(jì)算題1．求PQR的析取范式，合取范式、主析取范式，主合取范式．2．設(shè)謂詞公式．（1）試寫出量詞的轄域；（2）指出該公式的自由變?cè)图s束變?cè)?．設(shè)個(gè)體域?yàn)镈={a1,a2}，求謂詞公式y(tǒng)xP(x