谓词逻辑之 等价关系证明

NoSuchKey