zh:propositional_calculus