Delete propositional_logic~