부울 값 함수
Boolean-valued function |
| 함수 |
|---|
| x ↦ f (x) |
| 도메인 및 코도메인의 예 |
| 클래스/속성 |
| 시공 |
| 일반화 |
A Boolean-valued function (sometimes called a predicate or a proposition) is a function of the type f : X → B, where X is an arbitrary set and where B is a Boolean domain, i.e. a generic two-element set, (for example B = {0, 1}), whose elements are interpreted as logical values, for example, 0 = false and 1 = true, i.e., a single bit of information.
형식 과학, 수학, 수학 논리, 통계 및 이들의 적용 분야에서는 부울 값 함수를 특성 함수, 지표 함수, 술어 또는 명제라고도 할 수 있다. 이러한 모든 용도에서 다양한 용어는 해당 기호나 통사적 표현이 아닌 수학적 객체를 가리키는 것으로 이해된다.
진리의 형식적 의미론에서 진리 술어는 논리로 해석되는 형식 언어의 문장에 관한 술어로, 문장이 사실이라고 말함으로써 일반적으로 표현되는 직관적 개념을 공식화한다. 진리 술어는 최종 진리 값을 결정하는 데 필요한 경우 공식 언어 영역을 넘어서는 추가 도메인을 가질 수 있다.
참고 항목
참조
- 브라운, 프랭크 마크햄(2003), 부울 추리: 부울 방정식의 논리, 제1판, 클루워 학술 출판사, 노웰, MA. 제2판, 도버 출판사, 마이놀라, 뉴욕, 2003.
- Kohavi, Zvi(1978), 스위칭 및 유한 자동타 이론, 1판, McGraw-Hill, 1970. 2판, 1978. 3판, McGraw-Hill, 2010.
- 코르페지, 로버트 R. (1974년), NY, Academic Press, Academic Structures, Islated Computing Structures, Academic Press, New York.
- 일본 수학 협회, 수학 백과사전, 제2판, 제2권, 제2권, 기요시 이츠(ed.), MIT 프레스, 캠브리지, MA, 1993. EDM으로 인용됨.
- 민스키, 마빈 L, 파퍼트, 세이모어, A.(1988), 퍼셉트론, 컴퓨터 기하학 입문, MIT 프레스, 캠브리지, MA, 1969. 1972년 개정. 확장판, 1988.
