（正确）古希腊三杰建立形式逻辑体系（十七）“p可以推出q，如果非q，则非p”这是（A）