predicate logic proof 1
发布人