討論串(共15篇) - [理工] [離散]-邏輯 - 看板Grad-ProbAsk

看板 [ Grad-ProbAsk ]

討論串[理工] [離散]-邏輯

共 15 篇文章

排序：最新先 | 最舊先 | 留言數 | 推文總分

內容預覽：開啟 | 關閉 | 只限未讀

首頁

尾頁

#15

Re: [理工] [離散]-邏輯

推噓0(0推 )留言0則，0人參與作者DavyBlue (Nothing at all)時間15年前 (2010/12/18 00:39)資訊

內容預覽:

就題目的直譯而已... a:. 存在x,for all y=/=x,M(x,y). b:. for all y,存在x=/=y,M(x,y)orT(x,y). --. ※ 發信站: 批踢踢實業坊(ptt.cc). ◆ From: 114.34.118.209.

#14

[理工] [離散]-邏輯

推噓0(0推 )留言0則，0人參與作者cakeboy時間15年前 (2010/12/17 13:32)資訊

內容預覽:

http://www.lib.nthu.edu.tw/library/department/ref/exam/eecs/cs/95/952601.pdf. 請問清大第一題邏輯要怎麼想呢?有大概的公式可以解嗎?. 因為常常遇到這種問題,但是寫出來都不太對. 謝謝. --. ※ 發信站: 批踢踢實業坊(

#13

[理工] [離散]-邏輯

推噓0(0推 )留言0則，0人參與作者chocosan (薯條)時間15年前 (2010/04/15 18:29)資訊

內容預覽:

1.Let L(x,y) be the proposition function"x loves y".The domain of discourse isthe set of all living people.Write the following proposition symbolicall

(還有381個字)

#12

[理工] [離散]-邏輯

推噓1(1推 )留言4則，0人參與作者chocosan (薯條)時間15年前 (2010/04/15 14:07)資訊

內容預覽:

Show the validity of the following argument:. (~pvq)->r. r->(svt). ~s^~u. ~u^~t. __________. .. . . p. 這一題老師上課講義是用三段論証. 我可以用找反例矛盾証法證明這一題嗎. 如果可以的話，我以下的

(還有85個字)

#11

Re: [理工] [離散]-邏輯

推噓1(1推 )留言2則，0人參與作者chocosan (薯條)時間15年前 (2010/04/12 11:13)資訊

內容預覽:

~w->y: true === w v y :true 請問這行用文字說明是什麼意思呢? 若w:true ^ y:true --> x:true ^ z:true --> x v z :true. 以上這行用文字說明是什麼意思呢?. 謝謝. --. ※ 發信站: 批踢踢實業坊(ptt.cc). ◆

首頁

尾頁