急...逻辑推理命题推理

问题描述:

急...逻辑推理命题推理
用反证法证明
若A包含于B,则CUB包含于CUA

设 cub不包含于cua
则 有cub的一个元素不属于cua,记为x
则x属于a但不属于b,即有a的一个元素x,x不属于b
则a不包含于b
矛盾