formal equivalence


noun

logic the relation that holds between two open sentences when their universal closures are materially equivalent