Before revision: Let be a formula in the language of first-order logic.
After revision: Definition and examplesLet be a formula in the language of first-order logic.