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]]
[[수리논리,mathematical_logic]]
[[논리,logic]]
[[술어기호,predicate_symbol]] - writing ... curr see https://proofwiki.org/wiki/Definition:Predicate_Symbol
[[predication]] or [[branch_predication]] - [[computer_architecture]] 얘기.
{

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

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

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

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

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

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

WpEn:Functional_predicate
}

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

[[WpEn:Predicate_(mathematical_logic)]]