[명제 함수] ([命題函數, 영 propositional function])
러셀이 처음 사용한 용어로 'x'는 사람이다.' 'x는 y보다 크다.'와 같이 변항의 값이 결정되면 함수 값이 명제가 되는 함수를 말한다. 변항의 수가 하나인 명제 함수는 성질을, 2개 이상은 관계를 나타낸다. 이 때, 명제 함수를 의미 있게 만드는 명제의 영역은 미리 결정되는 것이라고 생각할 수 있다. 명제 함수의 사상은 프레게에서 유래하는 것으로, 그는 일반적으로 술어를 함수로서 변항치가 들어가야만 하는 비어있는 어떤 것으로 생각하여 이것을 빈 곳이 없는 대상으로부터 구별하였다.
|
■ 인접어
명령 명사 명석ㆍ판명 명예 명제 명제 함수 명제 논리학 명제 함수 명증 모간 모간 |