谓词逻辑

笔记 / 校内 / 离散

Word count: 25 | Reading time≈ 1 min

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

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

Copyright： Copyright is owned by the author. For commercial reprints, please contact the author for authorization. For non-commercial reprints, please indicate the source.