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

来源：学生作业帮编辑：拍题作业网作业帮分类：英语作业时间：2024/04/29 23:06:14

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

题目：

答案：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问有其他表达方式吗?

理解为不是冬天就不冷,即存在一个不是冬天的天,那么这个天一定不冷,即b的意思
b还可以理解为所有的冬天都冷,

全称量词和存在量词数学选修1-1全称量词和存在量词存在唯一量词如何用全称量词和存在量词及谓词"="来表达? 全称量词与存在量词的区别求解数学全称量词与存在量词全称量词与存在量词符号来源全称量词与存在量词符号全称量词与存在量词什么是全称量词什么是存在量词【求解析】全称量词&存在量词高中函数和简单的逻辑连接词,全称量词与存在量词的问题简单的逻辑连接词,全称量词和存在量词 (7 9:33:14)