问答题
(A∩B)×(C∩D)=(A×C)∩(B×D)是否对任意集合A,B,C,D均成立?试对成立的给出证明,对不成立的给出适当的反例.
问答题 设R,S都是二元关系,证明:dom(R∪S)=domR∪domS。
问答题 (A-B)×C=(A×C)-(B×C)是否对任意集合A,B,C均成立?试对成立的给出证明,对不成立的给出适当的反例.
问答题 用主析取范式或主合取范式法证明: