上午发了个帖子本来想正经讨论一下卡扎那张牌的文本描述是否合理，有人从空集子集解释，有人从翻译角度解释，这都挺好，但是离谱的是有人什么都没看懂就进行人身攻击，而且点赞成了第一，我真的不能理解，那我就只好和这些素质人理论理论了。

先科普一些数学定义 1.全称量词：短语“所有的”“任意一个”等在逻辑中通常叫做全称量词，用符号“∀”表示； 2.存在量词：短语“存在一个”“至少有一个”等在逻辑中通常叫做存在量词，用符号“∃”表示。

对含有一个量词的命题进行否定： 1.找到命题所含的量词，没有量词的要结合命题的含义先加上量词，再改变量词； 2.对原命题的结论进行否定。

判定全称命题“∀x∈M，p(x)”是真命题，需要对集合M中的每一个元素x，证明p(x)成立；要判断特称命题是真命题，只要在限定集合内找到一个x＝x0，使p(x0)成立。

所以'你牌库中所有随从牌都是龙牌'这句话的否定是'你牌库中存在一个随从牌不是龙牌'。

再科普四种命题：原命题：若p，则q；逆命题：若q，则p否命题：若非p，则非q逆否命题：若非q，则非p

四种命题的关系是：

1.四种命题的相互关系：原命题与逆命题互逆，否命题与原命题互否，原命题与逆否命题相互逆否，逆命题与否命题相互逆否，逆命题与逆否命题互否，逆否命题与否命题互逆。

2.四种命题的真假关系：①两个命题互为逆否命题，它们有相同的真假性。②两个命题为互逆命题或互否命题，它们的真假性没有关系(原命题与逆否命题同真同假，逆命题与否命题同真同假)。

我们能用到的就是：两个命题互为逆否命题，它们有相同的真假性。

好，所有预备知识已经齐全，让我们回到卡牌描述：


原命题：'如果你牌库中所有随从牌都是龙牌，将你的牌库变为自定义宝藏牌库'；
逆命题：'如果能将你的牌库变为自定义宝藏牌库，你牌库中所有随从牌都是龙牌；
否命题为：'如果你的牌库中存在一个随从牌不是龙牌，不能将你的牌库变为自定义宝藏牌库'；
逆否命题：'如果不能将你的牌库变为自定义宝藏牌库，你的牌库中存在一个随从牌不是龙牌'；

所以如果你看不懂这张牌的原描述，就看看它的逆否描述，这个描述和实际显然不符合，实际是牌库没牌也会触发，所以根据实际情况正确的描述应该是：'如果你牌库中所有随从牌都是龙牌或没有随从牌，将你的牌库变为自定义宝藏牌库'。

证明完毕，如果我说的依旧有问题，你在看完之后可以随意提出质疑指出我的问题，但是那种连问题重点都看不明白就开始人身攻击的人，我只能说你真的很下头，哪凉快哪呆着去吧。