一阶逻辑基本概念谓词逻辑课件(离散数学)选编.ppt

第四章一阶逻辑基本概念;本章主要内容;4.1 一阶逻辑命题符号化;一、个体词、谓词、量词的概念;一、个体词、谓词、量词的概念;一、个体词、谓词、量词的概念;一、个体词、谓词、量词的概念;一、个体词、谓词、量词的概念;一、个体词、谓词、量词的概念;一、个体词、谓词、量词的概念;一、个体词、谓词、量词的概念;一、个体词、谓词、量词的概念;一、个体词、谓词、量词的概念;一、个体词、谓词、量词的概念;一、个体词、谓词、量词的概念;二、一阶逻辑中命题符号化;二、一阶逻辑中命题符号化;二、一阶逻辑中命题符号化;二、一阶逻辑中命题符号化;二、一阶逻辑中命题符号化;二、一阶逻辑中命题符号化;二、一阶逻辑中命题符号化;二、一阶逻辑中命题符号化;二、一阶逻辑中命题符号化;二、一阶逻辑中命题符号化;二、一阶逻辑中命题符号化;二、一阶逻辑中命题符号化;二、一阶逻辑中命题符号化;二、一阶逻辑中命题符号化;4.2 一阶逻辑公式及解释;(1) 单个命题常项或变项 p,q,r,…是合式公式； (2) 若A , B是合式公式，则 (? A)，(A?B), (A?B), (A?B), (A?B)也是合式公式； (3) 只有有限次地应用(1)~(2)形成的包含命题变元、联结词和括号的符号串才是合式公式。;一、原子公式和项;F(x,y)：;引例;二、个体变项的自由出现与约束出现 ;二、个体变项的自由出现与约束出现;二、个体变项的自由出现与约束出现;二、个体变项的自由出现与约束出现;二、个体变项的自由出现与约束出现;三、公式的解释;三、公式的解释;三、公式的解释;三、公式的解释;三、公式的解释;三、公式的解释;三、公式的解释;四、公式的类型; 例5：证明下面公式不是永真式。;四、公式的类型