博文
关于命题逻辑的内容
|
1.基本的逻辑连接符号
2.自然演绎规则
(1)合取规则:一个引入规则和两个消去规则
(2)双重否定规则
(3)蕴含消去规则
(4)蕴含引入规则
(5)析取规则：两个引入规则和一个消去规则
(6)否定规则
(7)派生规则：反证规则（MT）等
直觉主义逻辑学家和经典主义学家的不同观点（反证法，排中律等）
3.数学归纳法，包括：串值归纳法，结构归纳法（在类型系统证明中经常拥到）
4.矢列的有效性推理演算和真值推导证明（语义推导关系）
5.合理性和完备性
https://blog.sciencenet.cn/blog-458387-459872.html
上一篇：关于<<Logic in Computer Science>>这本书
下一篇：关于常量指针和指针常量的区别
