명제논리,propositional_logic