离散数学全称量词和存在量词

题目:答案:a)Theassertion“Everywinterdayiscoldanddark.”canbeexpressed∀(d),winter(d)&... 题目:

答案: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问有其他表达方式吗?
展开
 我来答
  • 你的回答被采纳后将获得:
  • 系统奖励15(财富值+成长值)+难题奖励20(财富值+成长值)
鸿蒙领主
2015-01-05
知道答主
回答量:38
采纳率:0%
帮助的人:21.3万
展开全部
b理解为不是冬天就不冷,即存在一个不是冬天的天,那么这个天一定不冷,即b的意思
b还可以理解为所有的冬天都冷,
本回答被提问者采纳
已赞过 已踩过<
你对这个回答的评价是?
评论 收起
Sievers分析仪
2024-10-13 广告
是的。传统上,对于符合要求的内毒素检测,最终用户必须从标准内毒素库存瓶中构建至少一式两份三点标准曲线;必须有重复的阴性控制;每个样品和PPC必须一式两份。有了Sievers Eclipse内毒素检测仪,这些步骤可以通过使用预嵌入的内毒素标准... 点击进入详情页
本回答由Sievers分析仪提供
推荐律师服务: 若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询

为你推荐:

下载百度知道APP,抢鲜体验
使用百度知道APP,立即抢鲜体验。你的手机镜头里或许有别人想知道的答案。
扫描二维码下载
×

类别

我们会通过消息、邮箱等方式尽快将举报结果通知您。

说明

0/200

提交
取消

辅 助

模 式