MKLINK [[적형식,wff]] [[논리식,logical_formula]] - ? merge? [[포뮬러,formula]]? [[공식,formula]]? Sub: [[명제식,propositional_formula]]?