• 가능성,possibility
       "'''Provability logic''' is a modal_logic that is used to investigate what arithmetical theories can express in a restricted_language{ [[언어,language]] with [[리스트릭션,restriction]]{규제 제한 제약 구속 ... NdEn:restriction Ndict:restriction } about their provability_predicate (wr) s. { 증명가능성을 표기하는 [[술어,predicate]]? }" (sep)
• 관계,relation
       MKL: [[심벌,symbol]] [[letter]] [[술어,predicate]]
• 논리학,logic
        [[술어논리,predicate_logic]] ≃ [[일차논리,first-order_logic]] ....이름에 [[술어,predicate]]
        [[술어,predicate]]? chk
• 디스패치,dispatch
       [[술어,predicate]]?
       [[VG:술어,predicate]]?
• 레지스터,register
       curr at [[술어,predicate?action=highlight&value=predicate_register#s-5.2]]
• 모형,model
        $\mathcal{P}$ : 술어기호들의 집합 .... [[술어,predicate]] [[기호,symbol]] [[집합,set]]
• 문장,sentence
       [[술어,predicate]]와 sentence ?
        sentence(=문장) : 완결된 생각^^complete thought^^을 표현하는 group of words. 일반적으로 한 [[주어,subject]]와 한 [[술어,predicate]]([[동사,verb]]를 포함)를 가지고 있음.
• 변수,variable
       [[술어,predicate]]
       [[predicate_variable]] - curr at [[술어,predicate]]
• 삼단논법,syllogism
       [[술어,predicate]]
• 술어,predicate
        Up: [[술어,predicate]] [[절,clause]]
       [[주어,subject]]와 짝을 맞추는건 지금 이 페이지 '''술어,predicate'''보다는 [[서술어,predicate]]? fork? 그렇다면 pagename이 겹치는데... 어떻게하는게 최고? TBD.
       [[VG:술어,predicate]]
• 의미론,semantics
        그리고 '사람이다'라는 [[술어,predicate]]의 의미가 합성되어 구성된다.
• 절,clause
       [[주어,subject]]와 서술어([[술어,predicate]])로 구성.
• 존재기호existential_quantifier
• 질의query
        query 안의 condition/predicate([[술어,predicate]]?)로 인해 DBMS engine이 query 실행을 [[인덱스,index]]([[database_index]]?)를 써서 개이득을 얻을 수 있다면(빠르면)
• 포뮬러,formula
       [[술어,predicate]]
• 품사pumsa
       [[주어,subject]](S), 술어동사(V)(see [[술어,predicate]], [[동사,verb]]), [[목적어,object]](O), [[보어,complement]](C)로 설명.
       주어 vs 술어 대응관계이다. // [[술어,predicate]]
• 함의,implication
        "The connective([[연결사,connective]] [[논리연결사,logical_connective]]) in [[propositional_calculus]] propositional_calculus (curr. [[VG:명제논리,propositional_logic]]) that, when joining two [[술어,predicate|predicate]]s A and B in that order, has the meaning "if A is true, then B is true"."

You can also click here to search title.