未知题型

任意一个一阶公式都存在唯一的与之等值的前束范式

【参考答案】

一阶逻辑(也称为一阶谓词逻辑)中的公式可以通过一系列逻辑变换转换为前束范式(Prenex Normal Form)。前束......

(↓↓↓ 点击下方‘点击查看答案’看完整答案、解析 ↓↓↓)