一阶逻辑等值式及前束范式

一阶逻辑等值式及前束范式

定义2.10 等值式

在这里插入图片描述

定理2.1 量词否定等值式

在这里插入图片描述

定理2.2 量词辖域收缩与扩张等值式

在这里插入图片描述

定理2.3 量词分配等值式

在这里插入图片描述

定理2.4

在这里插入图片描述

定理2.11 前束范式

在这里插入图片描述

例

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

版权声明：本文为qq_45914558原创文章，遵循CC 4.0 BY-SA版权协议，转载请附上原文出处链接和本声明。