[理工] [離散]-邏輯

看板Grad-ProbAsk作者holik0123時間16年前 (2010/02/01 09:22)推噓0(0推 0噓 3→)

留言3則, 3人參與討論串3/15 (看更多)

LET M(x,y):x has sent y an e-mail T(x,y):x has telephoned y Use quantifiers to express the following statement (b) Every student in the class has either received an e-mail message or received a telephone call from another student in the class. 因為解答好像用兩者皆可所以我搞不太懂 ans: For ALL x (for some y ( x=\=y ^ ( M(y,x) v T(y,x))) M(x,y):x has sent y an e-mail T(x,y):x has telephoned y 個人想法: For all x ,for some y(x=\=y ==>((M(y,x) ^ ~T(y,x))v(~M(y,x)^T(y,x))) ) -- ※ 發信站: 批踢踢實業坊(ptt.cc) -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 61.231.100.106 ※ 編輯: holik0123 來自: 61.231.100.106 (01/17 23:35) ※ 編輯: holik0123 來自: 61.231.100.106 (01/17 23:44) -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 61.231.97.31 ※ 編輯: holik0123 來自: 61.231.97.31 (02/01 09:23)

→

qazwsxee

02/01 10:30, , 1^F

02/01 10:30, 1^F

※ 編輯: holik0123 來自: 61.231.105.72 (02/01 10:41)

→

holik0123

02/01 10:42, , 2^F

02/01 10:42, 2^F

→

chris750630

02/01 12:11, , 3^F