연역법연구