A universal (existential) formula is true if and only if all (some) substitution instances of it are true.
全称(存在)公式为真，当且仅当它的所有(某些)代换实例为真。