Difference between r1.8 and the current
@@ -24,10 +24,19 @@
----MKLINK
[[술어논리,predicate_logic]]
[[일차논리,first-order_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]] 얘기.{
@@ -59,11 +68,14 @@
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)]]
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 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
술어논리,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 얘기.
{
지시함수,indicator_function와 매우 비슷한데 정확한 차이? TBW
}
predication or branch_predication - computer_architecture 얘기.
{
branch_prediction과 spell이 비슷, 혼동 주의.
Compare: 명제변수,propositional_variable
이상 논리학,logic(curr 논리,logic, esp 수리논리,mathematical_logic)의 술어,predicate였고
자연어/언어학에선 서술 (rel description 기술,description ) 동사,verb ...등과 밀접한데 tbw. 주어,subject/술어 이렇게 대비됨. (coord. terms: 기타 문장,sentence을 이루는 다른 성분들?은 목적어,object 보어,complement 등등..)
자연어/언어학에선 서술 (rel description 기술,description ) 동사,verb ...등과 밀접한데 tbw. 주어,subject/술어 이렇게 대비됨. (coord. terms: 기타 문장,sentence을 이루는 다른 성분들?은 목적어,object 보어,complement 등등..)