离散数学-数理逻辑- 一阶逻辑等值演算（5）

╰+攻爆jí腚メ 2024-03-30 16:05 47阅读 0赞

#### 一阶逻辑等值演算 ####

*   *  1.基本的等价式
     *  2.一阶逻辑前束范式

### 1.基本的等价式 ###

![在这里插入图片描述][a86e71a207944ab187d21a2afeef654c.png]  
![在这里插入图片描述][e7d1463023c8418abf67631b2922cf02.png]  
![在这里插入图片描述][f07365e8e8724014b68cb7da04347e9e.png]  
![在这里插入图片描述][c271a9aa34e242f988432e3c4bb83a01.png]  
**换名规则：**  
![在这里插入图片描述][516aad77e806447db4060026ce91d2fa.png]  
![在这里插入图片描述][9e9ab339c90540178158a1dca8e79bbb.png]  
![在这里插入图片描述][cb297873a1c64747afd5f31951049699.png]  
![在这里插入图片描述][898b5969fb114f2594b43d60b48b3c4b.png]

### 2.一阶逻辑前束范式 ###

![在这里插入图片描述][48097ecf286f445e9000335901f089fb.png]  
![在这里插入图片描述][d71f538c08674dccabcf73f6c0e119f5.png]  
![在这里插入图片描述][bedcf0152de04f67be501ae017beaa84.png]  
![在这里插入图片描述][671c5cd584384939aa92beec1148cdab.png]

[a86e71a207944ab187d21a2afeef654c.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/30/6d912be5c96641c2aad5a8a0fed73559.png
[e7d1463023c8418abf67631b2922cf02.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/30/924203ab37df4db785e2b68a82e38cdc.png
[f07365e8e8724014b68cb7da04347e9e.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/30/70540c08453347bdbdbe407b0ff0f788.png
[c271a9aa34e242f988432e3c4bb83a01.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/30/9ed8109e9cb5495b85667b54a54433f8.png
[516aad77e806447db4060026ce91d2fa.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/30/bc92d2e3e3e347a99179debd073330e8.png
[9e9ab339c90540178158a1dca8e79bbb.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/30/65f59476c8f2445f8595e53147654542.png
[cb297873a1c64747afd5f31951049699.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/30/5e22ab5a4d614f7b8fc93d5bf3da1f99.png
[898b5969fb114f2594b43d60b48b3c4b.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/30/2fb9593037a0463698336da39092132c.png
[48097ecf286f445e9000335901f089fb.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/30/bc3d912052d145c491c1f02ff3580e0b.png
[d71f538c08674dccabcf73f6c0e119f5.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/30/1288b32faf6f4b1d8a010a1de6465c05.png
[bedcf0152de04f67be501ae017beaa84.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/30/d28665ddf0bf4f91a98e48d60b3b03db.png
[671c5cd584384939aa92beec1148cdab.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/30/aafeb66bf048404ca946ed6272a9cfd4.png