연역적 추론에 의해 어쩌구 저쩌구