zh:propositional_logic