二十、逻辑同构