보편 사례화 (universal instantiation) 연역적 추리에서, 하나의 보편 한량문에서 그것의 어떤 사례라도 추론해 내는…