计算题 设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

p∧（p→q）=>q

问答题p∧（p→q）=>q