hi:discussion:zh:sa:propositional_calculus