点击下载:华东交通大学:《离散数学》课程教学资源(PPT课件讲稿)第二章 一阶逻辑
正在加载图片...
为了在命题演算中,反映命题的内在联系,常常 要将简单命题分解成个体词、谓词、量词等,并对它 们的形式结构及逻辑关系加以研究,总结出正确的推 理形式和规则,这就是本章一阶逻辑要研究的内容。为了在命题演算中,反映命题的内在联系,常常 要将简单命题分解成个体词、谓词、量词等,并对它 们的形式结构及逻辑关系加以研究,总结出正确的推 理形式和规则,这就是本章一阶逻辑要研究的内容
<<向上翻页
向下翻页>>
点击下载:华东交通大学:《离散数学》课程教学资源(PPT课件讲稿)第二章 一阶逻辑
©2008-现在 cucdc.com 高等教育资讯网 版权所有