Before revision: Equivalent expressions If D is a domain of x and P(x) is a predicate dependent on object variable x, then the universal proposition can be expressed as This notation is known as restricted or relativized relativizedA.
After revision: Equivalent expressions If D is a domain of x and P(x) is a predicate dependent on object variable x, then the universal proposition can be expressed as This notation is known as restricted or relativizedA.