离散数学2.1-2课件.pptVIP

第2章 一阶逻辑 ;2.1 一阶逻辑基本概念 ;一阶逻辑基本概念;一阶逻辑基本概念;一阶逻辑基本概念;一阶逻辑基本概念;一阶逻辑基本概念;基本概念——个体词、谓词、量词 ;基本概念 (续);基本概念 (续);基本概念 (续);基本概念 (续);基本概念 (续);基本概念 (续);基本概念 (续);基本概念 (续);基本概念(续);例2：将下列命题符号化 有些人是聪明和美丽的。 有人早饭吃面包。 解: （1）设M（x）：x是人，Q（x）：x是聪明的，R（x）：x是美丽的。 命题符号化为：?x（M（x）?Q（x）?R（x））。 (2)设M（x）：x是人，E（x）：x是早饭时吃面包，命题符号化为：?x（M（x）?E（x）） 说明：命题符号化之前，必须明确个体域的范围，以上两例子均为 全总个体域。;基本概念(续);基本概念(续);基本概念(续);基本概念(续);基本概念(续);基本概念(续);一阶逻辑中命题符号化 ;例1(续);一阶逻辑中命题符号化(续);一阶逻辑中命题符号化(续);一阶逻辑中命题符号化(续);一阶逻辑中命题符号化(续);一阶逻辑中命题符号化(续);一阶逻辑中命题符号化(续);一阶逻辑中命题符号化(续);一阶逻辑中命题符号化(续);一阶逻辑中命题符号化(续);一阶逻辑中命题符号化(续);2.2 一阶逻辑公式及解释;字母表 ;项 ;项;项;原子公式 ;原子