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:標題錯誤喔~這題要問你什麼? 證明此句嗎?
※ 編輯: holik0123       來自: 61.231.105.72        (02/01 10:41)
→ holik0123:用邏輯符號來表達此句
→ chris750630:我可以說 解答有誤嘛 (更！ 為啥每次我都說這句=  =")