离散数学命题逻辑推理理论ppt.pptx
上传人:王子****青蛙 上传时间:2024-09-14 格式:PPTX 页数:20 大小:163KB 金币:10 举报 版权申诉
预览加载中,请您耐心等待几秒...

离散数学命题逻辑推理理论ppt.pptx

离散数学命题逻辑推理理论ppt.pptx

预览

免费试读已结束,剩余 10 页请下载文档后查看

10 金币

下载此文档

如果您无法下载资料,请参考说明:

1、部分资料下载需要金币,请确保您的账户上有足够的金币

2、已购买过的文档,再次下载不重复扣费

3、资料包下载后请先用软件解压,在使用对应软件打开

离散数学命题逻辑推理理论推理得形式结构实例实例(续)推理定律——重言蕴涵式自然推理系统P自然推理系统P(续)自然推理系统P(续)直接证明法实例实例(续)大家学习辛苦了,还是要坚持附加前提证明法实例归谬法(反证法)实例实例(续)归结证明法归结证明法(续)归结证明法得基本步骤