填空题
可数的,不可数的
设A是任意的命题公式,证明A=>A
问答题设A是任意的命题公式,证明A=>A
用集合的特征函数证明:对任意集合A,B,C,A-(B∩C)=(A-B)∪(A-C).
问答题用集合的特征函数证明:对任意集合A,B,C,A-(B∩C)=(A-B)∪(A-C).
q∧(p→q)=>p
问答题¬q∧(p→q)=>¬p