数学教案二——数理逻辑

数学教案二——数理逻辑。一、数理逻辑概述数理逻辑的研究范围主要包括命题逻辑、述部逻辑、谓词逻辑、一阶逻辑、模态逻辑等，其基本目的是使语言系统具有严格性、精密性和无歧义性，消除语言的模糊性和不严谨性。它