1. 推理规则
2. 自然演绎法
3. 演绎示例1——直接证明法
4. 演绎示例2——规则CP证明法
5. 演绎示例3——间接证明法（反证法、归谬法）
6. 命题演绎示例4
7. 命题演绎示例5
扫一扫
评论
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
查看更多评论
添加红包
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
