几点说明： 1)若（A1ΛA2人…ΛAn)→B是重言式，则称从前提A1, A2,,An推出结论B的推理正确。 或称B是A1,A2,,Am的有效结论或逻辑结论。 记作（A1个A2个.ΛAn)→B(或A1,A2,,An→B) 2)若（A1个A2个…ΛAn)→B不是重言式，否则称推理不正确。 或称B不是前提A1,A2,·,An的有效结论。 注意：“A1,A2,,An推出B”的推理正确当且仅当 (A1ΛA2∧..∧An)→B为重言式
几点说明： 1）若（A1∧A2∧…∧An）→B是重言式，则称从前提A1， A2， …， An推出结论B 的推理正确。 或称 B是A1， A2， …， An的有效结论或逻辑结论。 记作（A1∧A2∧…∧An）⇒ B （或A1 , A2 , …, An⇒ B) 2）若（A1∧A2∧…∧An）→B不是重言式，否则称推理不正确。 或称B不是前提A1， A2， …，An的有效结论。 注意：“A1， A2， …， An推出B”的推理正确当且仅当 （A1∧A2∧…∧An）→B为重言式
推理定义及形式（续） 思考： ·1.3证明定义 描述推理正确的过程。 与中学数学中 证明的异同 ·说明： ·1)在中学数学中定理的证明均是由前提（已知条件， 全是真命题)推出结论（亦全是真命题），这样的结论 均为有效结论。 ·2)数理逻辑有所不同，它着重研究的是推理的过程， 这种过程称为演绿或形式证明。而作为前提和结论的命 题可以是假命题
• 1.3 证明定义 描述推理正确的过程。 • 说明： • 1）在中学数学中定理的证明均是由前提（已知条件， 全是真命题）推出结论（亦全是真命题），这样的结论 均为有效结论。 • 2）数理逻辑有所不同，它着重研究的是推理的过程， 这种过程称为演绎或形式证明。而作为前提和结论的命 题可以是假命题。 一 推理定义及形式（续） 思考： 与中学数学中 证明的异同