p∧q怎么推的啊？说一下呗“A包含B”是x∈B→x∈A，即(x不属于B)∨(x∈A)，再否定一下，就是p∧q的样子了