BackLinks of "명제변수,propositional_variable". Copy: has NO comma Hide Show 마 마 명제proposition 명제식,propositional_formula