离散数学 一阶逻辑基本概念 习题

考点:0元谓词符号化

离散数学 一阶逻辑基本概念 习题_第1张图片
离散数学 一阶逻辑基本概念 习题_第2张图片

  • 分清好 个体词谓词
  • 注意格式

考点:一阶逻辑命题的转换

(注意个体域)
离散数学 一阶逻辑基本概念 习题_第3张图片
在这里插入图片描述

  • 一个很重要的知识点,没有说明个体域就是全体整体
  • 任意 符号对应的是 ->
  • 存在 符号对应的是 ^

离散数学 一阶逻辑基本概念 习题_第4张图片
离散数学 一阶逻辑基本概念 习题_第5张图片

进阶版

离散数学 一阶逻辑基本概念 习题_第6张图片
离散数学 一阶逻辑基本概念 习题_第7张图片离散数学 一阶逻辑基本概念 习题_第8张图片

任意和存在杂糅是最难的
离散数学 一阶逻辑基本概念 习题_第9张图片
离散数学 一阶逻辑基本概念 习题_第10张图片

考点:将公式翻译成自然语言

在这里插入图片描述
在这里插入图片描述

考点:指导变元,量词的辖域,个体变项的自由出现和约束出现

在这里插入图片描述
在这里插入图片描述
离散数学 一阶逻辑基本概念 习题_第11张图片

考点:一阶逻辑的解释

离散数学 一阶逻辑基本概念 习题_第12张图片
离散数学 一阶逻辑基本概念 习题_第13张图片

离散数学 一阶逻辑基本概念 习题_第14张图片
离散数学 一阶逻辑基本概念 习题_第15张图片
在这里插入图片描述

考点:赋值 和 代换实例

离散数学 一阶逻辑基本概念 习题_第16张图片
离散数学 一阶逻辑基本概念 习题_第17张图片
在这里插入图片描述
在这里插入图片描述
离散数学 一阶逻辑基本概念 习题_第18张图片

你可能感兴趣的:(离散数学,java,数据库,服务器,离散数学)