域演算


1.域演算的定义

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

  (2)解释:xi:域变量或常量

                 P:以 xi 为变量的公式

  (3)公式 P 的递归定义

    1)三种原子公式

相关