3.1推理形式结构 豪 口何为推理?何为证明? 例子: (1)若AcB且CD,则 AUCCBu∪D (2)若今天是星期一,则明天是星期二 (3)若AC∈B∪D,则AcB且CD 口推理—一从前提出发推出结论的思维过程 上例中,(1),(2)是正确的推理,而 (3)是错误的推理 口证明—描述推理正确或错误的过程3 3.1 推理形式结构 ❑ 何为推理？何为证明？ 例子： （1）若AB且CD，则ACBD （2）若今天是星期一，则明天是星期二 （3）若ACBD，则AB且CD ❑ 推理 —— 从前提出发推出结论的思维过程 上例中，（1），（2）是正确的推理，而 （3）是错误的推理 ❑ 证明 —— 描述推理正确或错误的过程