两个逻辑变项相同的性质命题，如果具有下反对关系，则可进行的推演是（）