离散数学-数理逻辑-命题逻辑的推理理论（3）

短命女 2024-03-30 15:59 53阅读 0赞

数理逻辑-命题逻辑的推理理论

#### 1、推理的定义 ####

定义：设A和B是两个命题公式，当且仅当A→B是重言式时，称从A可推出B或B是前提A的有效结论，记为A ⇒ \\rArr ⇒B .  
注意：命题公式A推出B的推理正确当且仅当A→B为重言式.

#### 2、推理的形式结构 ####

![在这里插入图片描述][498477f0a7fe4f70aad98a3073d9aa72.png]

#### 3、推理定律 ####

![在这里插入图片描述][2c7c7efc08f541278fed70018d8e191e.png]

#### 4、判断推理正确的方法 ####

![在这里插入图片描述][ae30abdc9e534cbd8669f22a85be57d4.png]  
当命题变项比较少时，用前3个方法比较方便, 此时采用形式结构![在这里插入图片描述][5d4ee5e3b3c74f7bacfdf8af2c42e083.png]  
，证明命题公式为永真式即可。而在构造证明时，采用“前提: A1, A2, … , Ak, 结论: B”.

#### 5、构造证明法 ####

构造证明的分为三种：直接证明法、附加前提证明法、归谬法。  
![在这里插入图片描述][c6a25433068246b0ba39789d2b9c0baa.png]  
![在这里插入图片描述][0fb07faf86f2444b9bde4f0b91dbdb32.png]  
![在这里插入图片描述][8e1b87c1e6224c6bb119abaf6e9acaf5.png]  
![在这里插入图片描述][6c692d24a1af499e894cce8701ca1ba9.png]  
![在这里插入图片描述][584f9ae4dac64e45a37d97cbd511c879.png]  
![在这里插入图片描述][a8d6712e1dc1473fa0787663c40d81ba.png]  
![在这里插入图片描述][e57e21b64c2e4bd7b6c7f4080d22aa63.png]

[498477f0a7fe4f70aad98a3073d9aa72.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/30/a4a7e822f0464c5785142ff4fbe5f865.png
[2c7c7efc08f541278fed70018d8e191e.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/30/e23b9c45b18e410ca00f22bd45a865af.png
[ae30abdc9e534cbd8669f22a85be57d4.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/30/cc5657455a5a4e8d9ad33a612ca22750.png
[5d4ee5e3b3c74f7bacfdf8af2c42e083.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/30/a0afd0f7d0874e4c9b3af6fa0bdd210a.png
[c6a25433068246b0ba39789d2b9c0baa.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/30/db8f79ddce104645909d523d45be8b41.png
[0fb07faf86f2444b9bde4f0b91dbdb32.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/30/fe72c2987f314d42ab6b7c99116a228a.png
[8e1b87c1e6224c6bb119abaf6e9acaf5.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/30/26f792f5050b43bc97ef64bacd02090c.png
[6c692d24a1af499e894cce8701ca1ba9.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/30/62e6c664a6b54b0bac26b1ae85f597af.png
[584f9ae4dac64e45a37d97cbd511c879.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/30/bd2bed6d39b048019c28718b641dc1d9.png
[a8d6712e1dc1473fa0787663c40d81ba.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/30/2e19125dcb7c467a833d15c2f2a51a7d.png
[e57e21b64c2e4bd7b6c7f4080d22aa63.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/30/2e8ea079647145e298301a8d379d0307.png