用真值表来验证（（p→q）∧﹁q）├﹁p是否为有效式。

以下判断中为充分条件假言判断的是（）。

• A、改革胆子要大.步子要稳
• B、要实现中华民族伟大复兴的中国梦，就要在新的历史起点上全面深化改革
• C、改革开放是决定当代中国命运的关键抉择
• D、只有进一步解放思想，才能全面深化改革

三段论第三格的结构是：
[图1]
试运用三段论的基本规则证明，第三格的结论必须是特称判断。