欢迎光临散文网会员登陆 & 注册

数理逻辑入门学习笔记（三）

2021-01-21 17:51 作者:Laplace欧拉 0人读过 | 我要投稿

例题

演绎规则

反证法

注：

关于三条公理的理解：

P1主要用于蕴涵引入或后件引入

P2主要用于构建利于分离规则的结构

P3类似反证法

标签：

数理逻辑入门学习笔记（三）的评论 (共条)