보편 사례화 (universal instantiation) 연역적 추리에서, 하나의 보편 한량문에서 그것의 어떤 사례라도 추론해 내는 것을 허용하는 원리. Stephen F. Barker, 최세만 이재희 옮김, 『논리학의 기초』, 경기 파주: 서광사, 2009, p. 398. 바 보편 사례화