1. 推理规则
2. 自然演绎法
3. 演绎示例1——直接证明法
4. 演绎示例2——规则CP证明法
5. 演绎示例3——间接证明法(反证法、归谬法)
6. 命题演绎示例4
7. 命题演绎示例5
立减 ¥
请填写红包祝福语或标题
红包个数最小为10个
红包金额最低5元
抵扣说明:
1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。 2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。