논리식,logic_formula Copy: 논리식,logic_formula has comma Hide Show 논리식,logic_formula (rev. 1.3) MKLINK 적형식,wff Sub: 명제식,propositional_formula?