有趣的逻辑测试题

文艺
42

两种更好理解的方式，分别对有A可能有但不一定已经有和A不可能有：

  1. 法律规定薅社会主义羊毛坐牢100年，不代表有人已经薅了社会主义羊毛被判了100年。
  2. A->B 逻辑上等于 非A或B，如果非A是一定的，B随便。
43

题没定义清楚
some A are B = A contains a subset of B
和
All A are B = A is a subset of B
不矛盾
因为A is a subset of A

1 个赞
44

所以这个some X are not Y可以改写成exists X s.t. not Y，如果X是空就错了

45

后来想了想，其实就是关于“some”是子集还是真子集的区别。

如果定义some是子集的话， “All A are B” 可以推论 “Some A are B”
如果some是真子集的意思的话，“All A are B” 就不可以推论 “Some A are B”

……说到最后还是一个文字游戏……

46

这就是set theory