propositional_logic