• 논리게이트,logic_gate
       표현을 위해 [[논리식,logic_formula]]이나 [[진리표,truth_table]] 사용됨.
• 논리식,logical_formula
       [[논리식,logic_formula]] - ? merge?
• 서브,sub
       MKL [[논리식,logic_formula]] [[논리식,logical_formula]] [[포뮬러,formula]]
• 식,expression
       [[formula]] { [[논리식,logical_formula]] [[논리식,logic_formula]] [[논리식,formula]] REL: [[원자식,atom]](atomic_formula) [[명제식,propositional_formula]] .... }
       [[논리식,logical_formula]] = [[논리식,logic_formula]] ~= [[적형식,wff]]
       [[논리식,logical_expression]] ? - 현재 [[논리식,logic_formula]] [[논리식,logical_formula]] 페이지는 있는데... TBD
• 적형식,wff
       (그냥 간단히 줄여서, 앞의 well-formed를 생략해서) '''논리식, formula'''. ([[포뮬러,formula]] / [[논리식,logic_formula]] / [[논리식,logical_formula]])
        [[논리식,logic_formula]] [[논리식,logical_formula]]
• 진리값,truth_value
       ... chk [[논증,argument]] / [[불_식,Boolean_expression]] / [[논리식,logic_formula]] ~ [[논리식,logical_formula]] / [[명제식,propositional_formula]] / [[문장,sentence]]
• 추론규칙,inference_rule
       [[논리식,logic_formula]]

You can also click here to search title.