违反逻辑基本规律要求的有 ( CD )

• A、同时肯定 SIP 与 SOP
• B、同时否定 SAP 和 SEP
• C、同时肯定 SAP 和 SEP
• D、同时否定 SEP 和 SIP
• E、同时肯定 SIP 与 SAP

对概念的划分正确的有 ( AE )

• A、乔木可以分为落叶乔木和常绿乔木
• B、颜色可以分为红、黄、绿、蓝、黑五色
• C、高等学校可分为全日制研究型高等学校、全日制非研究型高等学校、非全日制高等学校
• D、树可以分为树枝、树叶、树干
• E、实数包括有理数和无理数两种

用真值表验证（┓ q∨p）├（p→q）是否为有效式。