2.7推理形式 定义：前提真，结论必真的推理形式为正确的推理形式。 1/100 ·例1：如果我今天病了，那么我没来上课。 今天我病了。 所以今天我没来上课。 Back Close
1/100 JJ II J I Back Close 2.7 推理形式 定义：前提真，结论必真的推理形式为正确的推理形式。 • 例1：如果我今天病了，那么我没来上课。 今天我病了。 所以今天我没来上课
2.7推理形式 定义：前提真，结论必真的推理形式为正确的推理形式。 1/100 ·例1：如果我今天病了，那么我没来上课。 今天我病了。 所以今天我没来上课。 P:今天我病了。Q:我没来上课。 Back Close
1/100 JJ II J I Back Close 2.7 推理形式 定义：前提真，结论必真的推理形式为正确的推理形式。 • 例1：如果我今天病了，那么我没来上课。 今天我病了。 所以今天我没来上课。 P：今天我病了。Q：我没来上课
2.7推理形式 定义：前提真，结论必真的推理形式为正确的推理形式。 1/100 ·例1：如果我今天病了，那么我没来上课。 今天我病了。 所以今天我没来上课。 P:今天我病了。Q:我没来上课。 (P→Q)∧P)→Q Back Close
1/100 JJ II J I Back Close 2.7 推理形式 定义：前提真，结论必真的推理形式为正确的推理形式。 • 例1：如果我今天病了，那么我没来上课。 今天我病了。 所以今天我没来上课。 P：今天我病了。Q：我没来上课。 ((P → Q) ∧ P) → Q
2.7推理形式 定义：前提真，结论必真的推理形式为正确的推理形式。 1/100 ·例1：如果我今天病了，那么我没来上课。 今天我病了。 所以今天我没来上课。 P:今天我病了。Q:我没来上课。 (P→Q)∧P)→Q ·例2：如果P,那么Q。 非P。 所以非Q。 Back Close
1/100 JJ II J I Back Close 2.7 推理形式 定义：前提真，结论必真的推理形式为正确的推理形式。 • 例1：如果我今天病了，那么我没来上课。 今天我病了。 所以今天我没来上课。 P：今天我病了。Q：我没来上课。 ((P → Q) ∧ P) → Q • 例2：如果P，那么Q。 非P。 所以非Q
2.7推理形式 定义：前提真，结论必真的推理形式为正确的推理形式。 1/100 ·例1：如果我今天病了，那么我没来上课。 今天我病了。 所以今天我没来上课。 P:今天我病了。Q:我没来上课。 (P→Q)∧P)→Q ·例2：如果P,那么Q。 非P。 所以非Q。 (P→Q)∧P)→Q Back Close
1/100 JJ II J I Back Close 2.7 推理形式 定义：前提真，结论必真的推理形式为正确的推理形式。 • 例1：如果我今天病了，那么我没来上课。 今天我病了。 所以今天我没来上课。 P：今天我病了。Q：我没来上课。 ((P → Q) ∧ P) → Q • 例2：如果P，那么Q。 非P。 所以非Q。 ((P → Q) ∧ ¬P) → ¬Q