推不出就是指命题结构上的推不出，不包含内容上的推不出。