discussion:zh:propositional_logic