數(shù)學(xué)邏輯題-數(shù)理邏輯2003-2004b卷答案_第1頁
數(shù)學(xué)邏輯題-數(shù)理邏輯2003-2004b卷答案_第2頁
數(shù)學(xué)邏輯題-數(shù)理邏輯2003-2004b卷答案_第3頁
已閱讀5頁，還剩3頁未讀， 繼續(xù)免費閱讀

付費下載

下載本文檔

版權(quán)說明：本文檔由用戶提供并上傳，收益歸屬內(nèi)容提供方，若內(nèi)容存在侵權(quán)，請進(jìn)行舉報或認(rèn)領(lǐng)

文檔簡介

2003/2004年秋季學(xué)期數(shù)理邏輯試題B卷答案 1（a+（b+c）=（a+b）+c）=（a+（b+c（a+b）+c）=+a2）.（a×（b+c）=（a×b）+（aхc）=（a×（b+c（a×b）+（a×c=×a（b+c）+（a×b（a×c）=×a+bc+（a+b）×c）÷d）--（a+b）×c）÷d（e×f）-÷（a+b）×c）d×ef--2. 1.1）設(shè)p表示“會德文”設(shè)q表示“會法文”則表示符號公式為：┐p∧┐q2）設(shè)p表示“6大于4” 4）設(shè)命題p為：你同我一起 5）p 2.1）┐（┐p∧（┐q∨┐r=┐（┐p∧┐（q∧r==（p∨q）∧（q∨r）2（p→q）三1）F（x）表示：x建成了G（x）表示：x是大的H（x）表示：x是大樓2）F（x，y）表示：x正在看yG（x）表示：x是人H（y）表示：y是紅皮的U（y）表示：yab設(shè)F（x）為：xM（x此句可譯為：┐x（M（x）∧┐F（x推理：凡人必死，是人，故三張必死四 體相等，并且存在一個，它大于新的束約關(guān)系x，y為變元，z為變元，也為約束變元1）M（x）表示x事業(yè)有x（M（x）→P（x）∨N（x2）設(shè)F（x）為“xM（x）是特性謂詞表示“x（x（M（x）→F（x 解：此程序執(zhí)行x條件為它執(zhí)行y條件為A∧B=A∧┐BIfBthenXelse六 1（P→q）∧┐q）→┐p=┐（p→q）∧┐q）∨┐p=┐（┐p∨q）∧┐q）∨┐p=┐（┐p∧q∨┐q）∨┐p┐（p∧┐（p∧┐q）∨┐p==（q∨

溫馨提示

  • 1. 本站所有資源如無特殊說明，都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等，如果需要附件，請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙，網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽，若沒有圖紙預(yù)覽就沒有圖紙。
  • 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
  • 5. 人人文庫網(wǎng)僅提供信息存儲空間，僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理，對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯，并不能對任何下載內(nèi)容負(fù)責(zé)。
  • 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容，請與我們聯(lián)系，我們立即糾正。
  • 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論