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

定义2.10 等值式

在这里插入图片描述

定理2.1 量词否定等值式

在这里插入图片描述

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

在这里插入图片描述

定理2.3 量词分配等值式

在这里插入图片描述

定理2.4

在这里插入图片描述

定理2.11 前束范式

在这里插入图片描述

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


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