设 为全集,且 。下列命题中哪一个是正确的?
先把每个差集都改写成「与补集求交」。 只用 这一条规则,四个命题就全变成纯粹的交、并、补运算,德摩根律可以机械地套上去。盯着韦恩图猜很容易出错,而这样改写不会。
检验命题 1。 左边:。右边:。两者不同——一个属于 、属于 但不属于 的元素在右边而不在左边。错。(正确的版本是 。)
检验命题 2。 左边:。右边:,这里用到了幂等律 。两边完全相同。对。
检验命题 3。 左边:。而声称的右边是 。取 :则 在左边(因为 ),却不在右边(因为 且 )。错。
检验命题 4。 左边:。右边:。任何 都在右边而不在左边,因为左边把 整个都挖掉了,包括落在 里的那部分。错。
下结论。
一个具体的反例就能同时否掉那三个:取 、、、。这时命题 1 变成 ,命题 3 变成 ,命题 4 变成 ——全都不成立——而命题 2 变成 。
Need to solve a different problem like this? Open the solver →