• 술어,predicate . . . . 16 matches
        [[predicate_calculus]] i.e. [[predicate_logic]]
       [[predicate_calculus]] =,predicate_calculus =,predicate_calculus . predicate_calculus
       Srch:predicate_calculus
       WtEn:predicate_calculus ?? qqqqwwwwwwwwwwwwwwww
       [[first-order_predicate_calculus]] =,first-order_predicate_calculus =,first-order_predicate_calculus . first-order_predicate_calculus
       [[second-order_predicate_calculus]] =,second-order_predicate_calculus =,second-order_predicate_calculus . second-order_predicate_calculus
       이건 위에 [[predicate_calculus]]와 동의어. 단지 뉘앙스 차이?
• 로직,logic . . . . 5 matches
       aka [[predicate_calculus]] =,predicate_calculus . predicate_calculus
       WtEn:predicate_calculus
       Srch:predicate_calculus
• 칼큘러스,calculus . . . . 3 matches
        * predicate_calculus - [[술어논리,predicate_logic]] [[일차논리,first-order_logic]]와 동일? chk. https://encyclopediaofmath.org/wiki/Predicate_calculus
        술어 해석 predicate_calculus - 명제해석(분명 propositional_calculus) 의 확장
• 존재기호existential_quantifier . . . . 2 matches
        [[predicate_calculus]](curr at [[술어%2Cpredicate?action=highlight&value=predicate_calculus#s-4.1]] )에서, ....
• 논리학,logic . . . . 1 match
       [[술어계산,predicate_calculus]]
• 산술,arithmetic . . . . 1 match
        first-order_theory. (linked to: https://en.wikipedia.org/wiki/First-order_predicate_calculus)

You can also click here to search title.