술어,predicate

A predicate can be understood as a 명제,proposition whose truth depends on the 값,value of one or more 변수,variables.

예를 들어 다음 술어에 대해
n은 완전제곱수(perfect_square)이다
변수 $n$ 값을 정하기 전에는 참인지 거짓인지 알 수/말할 수 없다.

술어
$n=4$ 이면 참,truth이 되고, (predicate becomes true proposition)
$n=5$ 이면 거짓,false이 된다. (predicate becomes false proposition)

술어의 변수에 값이 대입되면 명제,proposition(참인 명제 or 거짓인 명제)가 됨

술어에 대해서 함수,function와 비슷한 표기법,notation을 쓸 수 있다.
위 술어의 기호를/이름을 $P$ 라 하면
P(n) ::= “n은 완전제곱수이다”
$P(4)$ 는 참이고 $P(5)$ 는 거짓이다.

(mcs.pdf 1.2 Predicates)


QQQ
그럼 equiv. to Boolean-valued_function?




branch_prediction과 spell이 비슷, 혼동 주의.

}
술어변수,predicate_variable
{
predicate variable
술어변수



WpEn:Predicate_variable
}
functional_predicate
{
functional predicate, function symbol
function_symbol




이상 논리학,logic(curr 논리,logic, esp 수리논리,mathematical_logic)의 술어,predicate였고
자연어/언어학에선 Ndict:서술 (rel Ndict:description 기술,description ) 동사,verb ...등과 밀접한데 tbw. 주어,subject/술어 이렇게 대비됨. (coord. terms: 기타 문장,sentence을 이루는 다른 성분들?은 목적어,object 보어,complement 등등..)