discussion:la:propositional_logic