【名词&注释】
有效性(effectiveness)、三段论(syllogism)、矛盾律(law of contradiction)、导出规则(derived rule)
[多选题]下列复合命题违反矛盾律的有()。
A. □p∧﹁◇p B. □﹁p∧﹁□﹁p C. ﹁◇﹁p∧□﹁p D. □﹁p∧◇p E. □﹁p∧□p