考研复试 | 离散数学——第二章 一阶逻辑
最新推荐文章于 2024-03-25 21:48:17 发布
本文深入探讨了一阶逻辑,包括基本概念如个体词、谓词、个体域,以及合式公式、解释和等值式。重点介绍了一阶逻辑中的重要等值式和前束范式,是考研复试复习的关键内容。
摘要由CSDN通过智能技术生成