归谬推理的前提问题如果A,则B且非B所以,非A这个推理形式的前提是(如果A,则B)+非B构成的联言命题?还是(如果A+则