Please enable JavaScript.
Coggle requires JavaScript to display documents.
第二章谓词逻辑 - Coggle Diagram
第二章谓词逻辑
4-变元的约束
约束变元
自由变元
量词的指导变元
约束变元的换名规则
5-谓词演算的等价式与蕴含式
等价式与蕴含式的概念
量词转换律
谓词公式的概念
量词作用域的收缩与扩张
7-谓词演算的推理理论
推理方法：直接推理、条件论证、反证法
所用公式：基础等价公式、基础重言蕴含公式
推理规则
全称
全称指定规则（US）
全称推广规则（UG）
存在
存在指定规则（ES）
存在推广规则（EG）
6-前束范式
前束范式的定义
求前束范式的步骤
1-谓词的概念与表示
客体
客体常元
客体变元
表示：用小写字母表示
谓词
作用
描述客体的本质属性
反应客体与客体之间的关系
定义
表示：用大写字母表示
2-命题函数与量词
量词
全称量词
注意点：当论域为全总个体域时，特性谓词作蕴含前件
表达意思：对所有的、每一个、对任意一个
存在量词
注意点：当论域为全总个体域时，特性谓词作合取项
表达意思：存在一些、至少有一个、对于一些
命题函数
论域
定义：客体变元的论述范围
分类
简单命题函数
复合命题函数
3-谓词公式与翻译
谓词公式的规定
翻译步骤：找谓词、找量词、找联结词