【离散数学】谓词逻辑

目录

1. 谓词

2. 量词

3. 等价式

4. 蕴含式 

5. 前束范式 

6. 推理理论 

附：系列文章

1. 谓词

① 我们用大写字母表示谓词，小写字母表示客体名称，例如A表示"是个大学生"，c表示张三，e表示李四，则A(c)，A(e)分别表示“张三是个大学生”，“李四是个大学生”。

② 我们把A(b)称为一元谓词，B(a,b)称为二元谓词，L(a,b,c)称为三元谓词，依次类推 

2. 量词

存在量词：∃

全称量词：∀ 

3. 等价式

① ﹁(∀x)P(x)⇔(∃x)﹁P(x) 

证：设P(x)表示x今天来上课，则﹁P(x) 表示x今天没来上课

﹁(∀x)P(x)表示不是所有人今天来上课，(∃x)﹁P(x)表示存在有人今天没来上课，一个意思

② ﹁(∃x)P(x)⇔(∀x)﹁P(x)  

① (∀x)(A(x)∨B)⇔((∀x)A(x)∨B)

② (∀x)(A(x)∧B)⇔((∀x)A(x)∧B) 

③ (∃x)(A(x)∨B)⇔((∃x)A(x)∨B)

④ (∃x)(A(x)∧B)⇔((∃x)A(x)∧B)  

由于B中不存在约束变元x，所以这个公式成立