离散数学全称量词和存在量词
题目：答案：a) The assertion “Every winter day is cold and dark.” can be expressed
∀(d), winter(d) ⇒ cold(d) ∧ dark(d) .
b) The assertion “No day is cold when it is not winter.” can be expressed
¬∃(d), ¬winter(d) ∧ cold(d).
a问懂,但是b问弄不明白,求大神解释一下!另外b问有其他表达方式吗?
离散数学全称量词和存在量词
答案:1 悬赏:70 手机版
解决时间 2021-05-08 10:58
- 提问者网友：骨子里的高雅
- 2021-05-08 00:09
最佳答案
- 五星知识达人网友：琴狂剑也妄
- 2021-05-08 01:03
理解为不是冬天就不冷,即存在一个不是冬天的天,那么这个天一定不冷,即b的意思
b还可以理解为所有的冬天都冷,
我要举报
如以上问答信息为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！
大家都在看
推荐资讯