域演算

 

 

1.域演算的定义

　　（1）基本形式{<x1,x2, ... ,xn>  | P(x1, x2, ... ,xn)}

　　（2）解释：xi：域变量或常量

　　         　　    P：以 xi 为变量的公式

　　（3）公式 P 的递归定义

　　　　1）三种原子公式

 

标签：xi,定义,演算,原子公式,公式,变量
来源： https://www.cnblogs.com/zxk-1212/p/15850549.html