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