• 칼큘러스,calculus . . . . 6 matches
        술어 해석 predicate_calculus - 명제해석(분명 propositional_calculus) 의 확장
       propositional_calculus
       WtEn:propositional_calculus
       WpEn:propositional_calculus
       intuitionistic_propositional_calculus
        https://encyclopediaofmath.org/wiki/Intuitionistic_propositional_calculus
• 로직,logic . . . . 3 matches
       AKA [[propositional_calculus]]
       Srch:propositional_calculus
       WpEn:Propositional_calculus
• 함의,implication . . . . 2 matches
        "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"."
• 논리학,logic . . . . 1 match
       [[명제계산,propositional_calculus]]
• 명제proposition . . . . 1 match
        propositional_calculus
• 앨지브라,algebra . . . . 1 match
       propositional_logic and propositional_calculus
• 증명이론,proof_theory . . . . 1 match
        예를 들어 propositional_calculus 에서 substitution_rule 은 ## https://encyclopediaofmath.org/wiki/Substitution_rule ## [[치환,substitution]] [[규칙,rule]] ?
• 포뮬러,formula . . . . 1 match
       [[로직,logic]] 이론에서 "[[포뮬러,formula]]"라 하면 보통 '''sentential formula'''(같은 말: propositional formula , 다시 말해 [[propositional_calculus]](=[[propositional_logic]])의 formula)를 말한다.[* mw Formula]

You can also click here to search title.