대입시킬 수 있는 명제로 한다면

그와의 관계는 다음과 같은 함수로 표시할 수 있다

법칙 엑스가 법칙 스몰엑스에 대입시킬 수 있는 명제로 한다면.

즉 법칙 라아지 엑스는 법칙 스몰엑스가 아니다라는 명제와 같아진다

만약 요원과 부류를 무시해 버리고 흔히 일반언어에서와 갈이 함수를 요원으로 일반양화시켜