predicate logic proof 2
发布人