Re: [理工] [離散]-邏輯
看板Grad-ProbAsk作者DavyBlue (Nothing at all)時間15年前 (2010/12/18 00:39)推噓0(0推 0噓 0→)留言0則, 0人參與討論串15/15 (看更多)
※ 引述《cakeboy ()》之銘言：
: http://www.lib.nthu.edu.tw/library/department/ref/exam/eecs/cs/95/952601.pdf
: 請問清大第一題邏輯要怎麼想呢?有大概的公式可以解嗎?
: 因為常常遇到這種問題,但是寫出來都不太對
: 謝謝
就題目的直譯而已..
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
討論串 (同標題文章)