discussion:zh:en:la:propositional_logic