en:discussion:zh:la:propositional_logic