MKLINK
[[적형식,wff]]
[[논리식,logical_formula]] - ? merge?

Sub:
[[명제식,propositional_formula]]?