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