逻辑推理与永真公式的.pptx

第三章逻辑推理与永真公式公理系统

3.1逻辑推理基本思想

3.2逻辑推理公理系统

习题及参考答案

5/26/2026

1

第1页

§3.1逻辑推理基本思想

在数学中和其它自然科学中，经常要考虑从一些前提A1，A2…An能够推导出什么结论。

比如从分子学、原子学，能够得到什么结论等等。我们普通地要对“假设”内容作深入分析，并研究其间关系，从而得到结论。在数学及日常生活中，我们经常要决定一个陈说是否能够从另一个陈说推出，这就是“逻辑推理”问题，在给定这个概念形式定义之前，我们先举一些例子进行说明。

5/26/2026

2

第2页

比如：假如天气干旱则粮食欠收。

又设；当粮食欠收时大多数人是不幸。

再设；天气干旱。

那么能够指出大多数人是不幸。

解：为了指出上述结论，现将陈说句表示以下：

P：表示天气干旱，

S：表示粮食丰收，

U：表示大多数人是幸运。

例子中有四个陈说句，它们是：

假如天气干旱，则粮食欠收；

假如粮食欠收，则大多数人是不幸；