1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 高等教育
  5. 理学

《离散数学》数理逻辑作业 参考文档.doc

《离散数学》数理逻辑作业 参考文档.doc

    离散数学练习（一）

    第PAGE1页网络安全与执法专业

    数理逻辑（包括命题逻辑与一阶逻辑部分）基本要求

    一、命题逻辑

    1、掌握命题、命题变项、联结词、复合命题、命题公式、重言式、矛盾式、可满足式、等价式、蕴涵式、范式、最大项、最小项、主范式的概念与性质。

    2、重点：常用的基本等价式及其应用、（主）析取/合取范式的求法及其应用、常用的永真蕴涵式及其在逻辑推理中的应用。

    3、难点：命题符号化、等价式的证明、公式的判定（真值表法、等价转换、范式、主范式）、推理过程中推理规则、基本等价式、逻辑蕴涵式的应用。

    二、一阶逻

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >