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

题目：

答案：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个回答 2015-01-05

b理解为不是冬天就不冷，即存在一个不是冬天的天，那么这个天一定不冷，即b的意思
b还可以理解为所有的冬天都冷，本回答被提问者采纳

相似回答

全称量词和存在量词有什么不一样?答：∃ - 存在量词 - 表示存在一个，至少一个 。“对全额的”、“对任意的”等词在逻辑中被称为全称量词，记作“∀”，含有全称量词的命题叫做全称命题。短语“存在一个”、“至少一个”在逻辑中通常叫做存在量词，用符号“∃”表示。含有存在量词的命题，叫做特称命题（存在性命题）...