版權說明:本文檔由用戶提供并上傳,收益歸屬內容提供方,若內容存在侵權,請進行舉報或認領
文檔簡介
1、一、選擇或填空(數(shù)理邏輯部分)1、下列哪些公式為永真蘊含式?()(1)Q=Q→P(2)Q=P→Q(3)P=P→Q(4)P(PQ)=P??????答:(1),(4)2、下列公式中哪些是永真式?()(1)(┐PQ)→(Q→R)(2)P→(Q→Q)(3)(PQ)→P(4)P→(PQ)????答:(2),(3),(4)3、設有下列公式,請問哪幾個是永真蘊涵式()(1)P=PQ(2)PQ=P(3)PQ=PQ????(4)P(P→Q)=Q(5)(P
2、→Q)=P(6)P(PQ)=P??????答:(2),(3),(4),(5),(6)4、公式?x((A(x)?B(y,x))??zC(y,z))?D(x)中,自由變元是(),約束變元是()。答:xyxz5、判斷下列語句是不是命題。若是,給出命題的真值。()(1)北京是中華人民共和國的首都。(2)陜西師大是一座工廠。(3)你喜歡唱歌嗎?(4)若78>18,則三角形有4條邊。(5)前進!(6)給我一杯水吧!答:(1)是,T(2)是,F(xiàn)(3)
3、不是(4)是,T(5)不是(6)不是6、命題“存在一些人是大學生”的否定是(),而命題“所有的人都是要死的”的否定是()。答:所有人都不是大學生,有些人不會死7、設P:我生病,Q:我去學校,則下列命題可符號化為()。(1)只有在生病時,我才不去學校(2)若我生病,則我不去學校(3)當且僅當我生病時,我才不去學校(4)若我不生病,則我一定去學校答:(1)(2)(3)(4)PQ??QP??QP??QP??32、設S=1234,A上的關系R=
4、{〈12〉,〈21〉,〈23〉,〈34〉}求(1)RR(2)R1。?答:RR=〈11〉,〈13〉,〈22〉,〈24〉?R1={〈21〉,〈12〉,〈32〉,〈43〉}33、設A={1,2,3,4,5,6},R是A上的整除關系,求R=()。答:R=34、設A={123456},B=123,從A到B的關系R={〈xy〉|x=2y},求(1)R(2)R1。答:(1)R=(2)R=(3,61?35、設A={123456},B=123,從A到B的
5、關系R={〈xy〉|x=y2},求R和R1的關系矩陣。答:R的關系矩陣=R的關系矩陣=??????????????????0000000010000000011???????????00000001000000000136、集合A=12…10上的關系R=|xy=10xyA,則R的性質為()。?(1)自反的(2)對稱的(3)傳遞的,對稱的(4)傳遞的答:(2)(代數(shù)結構部分)37、設A=246,A上的二元運算定義為:ab=maxab,則在
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
- 4. 未經(jīng)權益所有人同意不得將文件中的內容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲空間,僅對用戶上傳內容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內容本身不做任何修改或編輯,并不能對任何下載內容負責。
- 6. 下載文件中如有侵權或不適當內容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 離散數(shù)學課后答案
- 離散數(shù)學課后習題答案(邱學紹)
- 離散數(shù)學課后習題答案左孝凌版
- 離散數(shù)學課后習題答案(左孝凌版)
- 離散數(shù)學課后習題答案(左孝凌版)
- 離散數(shù)學課后習題答案左孝凌版
- 大學離散數(shù)學課后習題答案(左孝凌版)
- 屈婉玲版離散數(shù)學課后習題答案2
- 屈婉玲版離散數(shù)學課后習題答案1
- 離散數(shù)學屈婉玲版課后習題
- 離散數(shù)學課件2
- 離散數(shù)學課件----function
- 自考離散數(shù)學課件
- 離散數(shù)學課件----trees
- 離散數(shù)學課件1
- 《離散數(shù)學課件》5樹
- 離散數(shù)學課程介紹
- 離散數(shù)學復習題
- 離散數(shù)學習題答案-
- 離散數(shù)學習題五
評論
0/150
提交評論