...量词在逻辑依存方面有一些独特性,现在我们可以把这些独特 性归纳为两种性质,第一种性质称为「自交换性(Self-Commutativity)。我们说量词Q是「自交换 的当且仅当对所有二元谓词V都有
基于6个网页-相关网页
应用推荐
模块上移
模块下移
不移动