Note 20 — Chapter II · THE THEORY OF LOGICAL TYPES.
Reading edition
When a (finite) set of predicates is given by actual enumeration, their disjunction is a predicate, because no predicate occurs as apparent variable in the disjunction.
Reading edition
When a (finite) set of predicates is given by actual enumeration, their disjunction is a predicate, because no predicate occurs as apparent variable in the disjunction.