1.域演算的定义

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

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

　　         　　    P：以 xi 为变量的公式

　　（3）公式 P 的递归定义

　　　　1）三种原子公式