 In particular, note that if the domain of discourse is restricted to consist only of those objects that satisfy a certain predicate, then for universal quantification this requires a logical conditional.For example,
For all composite numbers "n", 2·"n" > 2 + "n"
is logically equivalent to
For all natural numbers "n", if "n" is composite, then 2·"n" > 2 + "n".Here the "if ... then" construction indicates the logical conditional.