discussion:zh:predicate_logic