집합 S의 원소 x에 대해, 참 또는 거짓 둘 중 하나인 명제,proposition p(x)를 S에서의 명제함수라 한다.

REL
명제함수가 성립하는 범위(range? scope?)를 한정(limit? 암튼 quantification)하는 데 사용하는 것이 한정사=양화사=한정기호(curr 한정기호_정량자_quantifier).[1]

222090221912 ... del ok ¶

P(x) : 문장,sentence
D : P에 대한 정의역,domain. 즉 집합,set. x∈D.
x : 집합 D에 속하는 원소,element

영어 표현? ¶

propositional function???

Ency. of Math. 에 의하면 A function whose arguments and values are truth values. [https]

즉 저 표현은 입력/출력이 모두 진리값

2023-10-23 chkout also

하지만 한국어 명제함수는 입력이 명제, 출력이 진리값,truth_value인 듯.

QQQ proposition function 은 혹시 뜻이 다른지? ...

~~수학백과: 명제함수~~
[https]

수학백과: 명제함수
{
"문장,sentence에서 (문장 속) 변수,variable에 값,value을 주었을(i.e. 대입,assignment했을) 때 명제,proposition가 되는 경우, 명제함수라고 부른다"

AKA 조건(condition) - 조건,condition ... "명제함수를 '조건'(condition)이라 하기도 하는데, 조건문과 혼동하지 말아야 한다."

조건문조건문 )과 다름!

}