数理逻辑--谓词逻辑的等值、范式和推理演算

996Worker
996Worker
发布于 2021-08-17 / 285 阅读
0
0

数理逻辑--谓词逻辑的等值、范式和推理演算

Screen Shot 20210817 at 8.25.23 PM.jpgScreen Shot 20210817 at 8.26.44 PM.jpgScreen Shot 20210817 at 8.27.48 PM.jpgScreen Shot 20210817 at 8.29.41 PM.jpgScreen Shot 20210817 at 8.32.12 PM.jpgScreen Shot 20210817 at 8.33.39 PM.jpg


评论