~（AB）~A~B称为（）

A（AB）A称为（）

A、结合律
B、分配律
C、吸收律
D、摩根律

点击查看答案&解析

在公式中yxP（x，y），存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（）

A、依赖函数
B、Skolem函数
C、决定函数
D、多元函数

点击查看答案&解析