柯林斯词典formal equivalence 1. N the relation that holds between two open sentences when their universal closures are materially equivalent 形式對等[logic] 返回 formal equivalence