推理形式正确的有（）
CD
暂无解析
由“s必然是p为真”，可推出（）
断言“小夏是一位画家”和“小夏不是一位画家”同时都真，违反了（）
在概念间的外延关系中，不具有...传递性质的有（）
两个概念外延之间的包含关系包括（）
如果同时肯定p→q和q∨s，那么（）