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>>这本书下一篇:
关于常量指针和指针常量的区别