离散数学结构 第4章 一阶逻辑基本概念复习.docVIP

第4章 一阶逻辑基本概念 主要内容 1. 个体词①个体常项②个体变项③个体域④全总个体域? 2. 谓词①谓词常项②谓词变项③n(n≥1)元谓词④特性谓词? 3. 量词①全称量词②存在量词? 4. 一阶逻辑中命题符号化? 5. 一阶逻辑公式①原子公式②合式公式（或公式）③闭式 6. 解释 7. 一阶逻辑公式的分类①逻辑有效式（或永真式）②矛盾式（或永假式）③可满足式 ? ? ? ? 学习要求 1. 要求准确地将给出的命题符号化：①当给定个体域时，在给定个体域内将命题符号化②当没给定个体域时，应在全总个体域内符号化③在符号化时，当引入特性时，注意全称量词与蕴含联结词的搭配，存在量词与合取联结词的搭配。? 2. 深刻理解逻辑有效式、矛盾式、可满足式的概念。? 3. 记住闭式的性质：在任何解释下均为命题。? 4. 对给定的解释，会判别公式的真值或不能确定真值。? 4.1 一阶逻辑的符号化 ????下面直接仿照 1.1来对谓词逻辑进行符号化。 ????个体词，谓词和量词是一阶逻辑命题符号化的三个基本要素。下面讨论这三个要素。 一、个体词 个体词是指所研究对象中可以独立存在的具体的或抽象的客体。例如，小王，小李，中国，，3等都可以作为个体词。将表示具体或特定的客体的个体词称作个体常项，一般用小写英文字母a，b，