A predicate can be understood as a 명제,proposition whose truth depends on the 값,value of one or more 변수,variables.
예를 들어 다음 술어에 대해
n은 완전제곱수(perfect_square)이다변수 값을 정하기 전에는 참인지 거짓인지 알 수/말할 수 없다.
이 술어는
이면 참,truth이 되고, (predicate becomes true proposition)
이면 거짓,false이 된다. (predicate becomes false proposition)
이면 참,truth이 되고, (predicate becomes true proposition)
이면 거짓,false이 된다. (predicate becomes false proposition)
즉 술어의 변수에 값이 대입되면 명제,proposition(참인 명제 or 거짓인 명제)가 됨
술어에 대해서 함수,function와 비슷한 표기법,notation을 쓸 수 있다.
위 술어의 기호를/이름을 라 하면
위 술어의 기호를/이름을 라 하면
P(n) ::= “n은 완전제곱수이다”는 참이고 는 거짓이다.
(mcs.pdf 1.2 Predicates)
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 얘기.
{
술어논리,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 얘기.
{
branch_prediction과 spell이 비슷, 혼동 주의.
}