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

예를 들어 다음 '''술어'''에 대해
> ''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]]?

----
MKLINK
[[술어논리,predicate_logic]]
[[일차논리,first-order_logic]] and [[first-order_formula]]
[[수리논리,mathematical_logic]]
[[논리,logic]]
[[술어기호,predicate_symbol]] - writing ... curr see https://proofwiki.org/wiki/Definition:Predicate_Symbol
[[Iverson_bracket]] OR Iverson_notation ... [[아이버슨_대괄호,Iverson_bracket]]?
{
Bracket 안의 [[술어,predicate]]가 [[참,true]]이면 [[하나,one]], [[거짓,false]]이면 [[영,zero]]인 [[표기법,notation]].
술어를 입력으로 받아 0 또는 1로 변환하는 함수...로 볼 수 있나?
https://oeis.org/wiki/Iverson_bracket

MKL
[[지시함수,indicator_function]]와 매우 비슷한데 정확한 차이? TBW
}
[[predication]] or [[branch_predication]] - [[computer_architecture]] 얘기.
{

MKLINK
[[branch]]
[[술어,predicate]]
[[conditional]] or [[conditional_statement]]

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

}
[[술어변수,predicate_variable]]
{
'''predicate variable'''
'''술어변수'''

[[술어,predicate]] [[변수,variable]]

Compare: [[명제변수,propositional_variable]]

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

[[함수,function]] [[기호,symbol]] [[술어,predicate]]

WpEn:Functional_predicate
}

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

----
Twins:
https://encyclopediaofmath.org/wiki/Predicate

[[WpEn:Predicate_(mathematical_logic)]]