first-order-logic Definition Equivalent Formula (First-Order Logic) Two formulas and are equivalent, written , if they have the same models: Equivalently: . The metametal equivalence () holds exactly when the object-level biconditional () is valid.