南人 《离散数学》 第一章第七节推理理论 授课人王历容
《离散数学》 第一章第七节 推理理论 授课人 王历容
伤脑筋哦 法网》 es 请问张三和李四谁该受到法律的制裁？
包公断案 • 公安人员审查了一起重大盗窃珠宝案，已获得以下线索： • 1）张三或者李四盗窃了珠宝； • 2）若李四的证词正确，则珠宝店午夜时灯管未灭； • 3）若张三盗窃了珠宝，则作案时间不可能发生在午夜前； • 4）若李四的证词不正确，则作案时间发生在午夜前； • 5）午夜时珠宝店的灯光灭了。 新课 导入 请推断： 请问张三和李四谁该受到法律的制裁？
1.7推理理论（一) 1 推理定义及形式 主要内容 2 推理定律与推理规则 3 构造证明法
1.7 推理理论（一） 主要内容 2 推理定律与推理规则 1 推理定义及形式 3 构造证明法
1 推理定义及形式 新授 2 推理定律与推理规则 知识 3 构造证明法
新授 知识 1 推理定义及形式 2 推理定律与推理规则 3 构造证明法
推理定义及形式 ·1.1推理定义是从前提推出结论的思维过程。 ·在命题逻辑中，前提是已知的命题公式，结论是从前提出发应用推 理规则推出的命题公式。 ·1.2推理的形式 形式A1NA2NNAk→B ● 或者前提：A1NA2入.入Ak 结论：B
• 1.1 推理定义 是从前提推出结论的思维过程。 • 在命题逻辑中，前提是已知的命题公式，结论是从前提出发应用推 理规则推出的命题公式。 • 1.2 推理的形式 • 形式 A1 A2… Ak→B • 或者 前提：A1 A2… Ak • 结论： B 一 推理定义及形式