Closure Rule: Any formulae which cannot be constructed by means of the first two Construction Rules are not wffs.
闭包规则：不能使用前两个构造规则构造的任何公式都不是wff。