formal equivalence


formal equivalence

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