명제식,propositional_formula Copy: 명제식,propositional_formula has comma Hide Show 명제식,propositional_formula (rev. 1.3) Up: 명제,proposition 논리식,logical_formula?