谓词逻辑

发布于 16 天前  23 次阅读


第二点需要保证B里面没有x

下面的三四点公式B里面包含x