第四章命题逻辑 杳菓是教理逻緝虫的量基夺肉衮 需与会草 苾范甚等基 8公含入鲜将置发请金 法解度用楼 工 返回首页 2021/1/212021/1/21 1 第四章 命题逻辑 本章是数理逻辑中的最基本内容， 是下一章的基础.本章主要讲述命 题与联结词、命题公式、恒真命 题、等价式、蕴涵式及范式等基 本内容；能将自然语言符号化； 能用等价式、蕴涵式等进行命题 演算和推理；能用逻辑推理的方 法解决一些实际问题. 返回首页