mayaoji的个人博客分享 http://blog.sciencenet.cn/u/mayaoji

博文

自然推理规则——逻辑学笔记32

已有 2996 次阅读 2020-9-7 15:06 |个人分类:逻辑学|系统分类:科研笔记| 自然推理

image.png

image.png

image.png

image.png

image.png

image.png

image.png

image.png



https://blog.sciencenet.cn/blog-1255140-1249610.html

上一篇:可证性逻辑定理判定的树形图方法——逻辑学笔记31
下一篇:简化版哥德尔定理——逻辑学笔记33
收藏 IP: 14.24.32.*| 热度|

0

该博文允许注册用户评论 请点击登录 评论 (0 个评论)

数据加载中...

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2022-12-1 00:59

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部