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