填空题
自然数集N是可数的，N×N是（）；有理数集Q是可数的，全体实数构成的集合R是（）。
可数的，不可数的
问答题 设A是任意的命题公式，证明A=>A
问答题 用集合的特征函数证明：对任意集合A，B，C，A-（B∩C）=（A-B）∪（A-C）.
问答题 q∧（p→q）=>p
