问答题
用集合的特征函数证明：对任意集合A，B，C，A-（B∩C）=（A-B）∪（A-C）.
问答题 q∧（p→q）=>p
问答题 p∧（p→q）=>q
问答题 证明：若函数f：N→N有多于一个的左逆，则它必有无穷多个左逆．
