• WikiSandBox
       ground_predicate - [[술어,predicate]]
• 논리,logic
       [[명제,proposition]]논리, [[술어,predicate]]논리:
       [[술어,predicate]]
• 명제,proposition
       명제와 [[술어,predicate]] 비교 TBW
       [[술어,predicate]]의 [[변수,variable]]에 [[값,value]]이 [[대입,assignment]]되면 '''명제,proposition'''? chk
• 산술,arithmetic
        WpEn:Peano_arithmetic redir. to Peano_axioms의 한 섹션 - [[페아노_공리,Peano_axiom]]에서 [[induction_axiom]]을 제외하면 모두 [[일차논리,first-order_logic]]의 [[statement]]s들이다. 그리고 axiom of induction(귀납공리? [[귀납,induction]])은 [[술어,predicate]]에 대한 [[quantifier]]가 있으므로 [[이차논리,second-order_logic]]의 [[statement]]이다.
• 수리논리,mathematical_logic
       [[술어,predicate]] [[술어논리,predicate_logic]] [[일차논리,first-order_logic]]
• 술어,predicate
       Bracket 안의 [[술어,predicate]]가 [[참,true]]이면 [[하나,one]], [[거짓,false]]이면 [[영,zero]]인 [[표기법,notation]].
       [[술어,predicate]]
       [[술어,predicate]] [[변수,variable]]
       [[함수,function]] [[기호,symbol]] [[술어,predicate]]
       이상 [[논리학,logic]](curr [[논리,logic]], esp [[수리논리,mathematical_logic]])의 '''술어,predicate'''였고
• 술어논리,predicate_logic
       "'''술어논리'''는 보통 [[일차논리,first-order_logic]]를 뜻하는데 [[한정기호,quantifier]]가 [[변수,variable]]만을 한정하는 경우이며, 한정기호가 변수 뿐 아니라 [[술어,predicate]] 관계도 한정하는 [[기호논리,symbolic_logic]]를 [[이차논리,second-order_logic]]라고 한다."
       [[술어,predicate]] [[논리,logic]].
       [[명제논리,propositional_logic]]의 [[확장,extension]] with separate [[기호,symbol]]s for [[술어,predicate]]s, [[subject]]{링크가 http://foldoc.org/subject 으로 걸려있는데 동형이의어에 잘못 걸린 링크.}s, and [[RR:양화사quantifier]]s.
       [[명제,proposition]]와 달리, [[술어,predicate]]는 일반적이다(generic): it applies to a whole range of things. By filling in concrete examples of these things, a predicate becomes a proposition.
       '''술어논리'''에서는 한 [[명제,proposition]]를 [[술어,predicate]]와 [[객체]]로 분리하여 표현함.
• 일차논리,first-order_logic
       CHK: [[술어논리,predicate_logic]]에서 quantifier가 [[변수,variable]]에만 적용되고, [[술어,predicate]]나 [[함수,function]]에 대해 허용하지,,허용되지?,, 않는 경우 이를 일차술어계산(first-order predicate calculus)이라고 한다... (?)
        1. $P$ 가 $n$ - place predicate symbol([[술어,predicate]] [[기호,symbol]])이고 $t_1,\cdots,t_n$ 이 term이면, $P(t_1,\cdots,t_n)$ 는 atomic statement[* a statement which cannot be broken down into smaller statements. http://mathworld.wolfram.com/AtomicStatement.html]이다.
• 조건부,conditional
       { rel. [[술어,predicate]]? }
• 집합,set
       Predicate notation // [[술어,predicate]] 표기법
• 파이썬,Python
       - `filter()`: When you need to select items based on a predicate. // [[술어,predicate]]
• 표기법,notation
       [[아이버슨_대괄호,Iverson_bracket]] - see [[술어,predicate?action=highlight&value=Iverson_bracket]]

You can also click here to search title.