逻辑学高手进并非(只有p,才q).所以,只有非p,才q 这个推理对吗