A predicate name, followed by an argument list in parentheses, is called an atomic formula.

一个谓词名，后跟以括在圆括号中的一个变元表，称为原子公式。

youdao

A predicate name, followed by an argument list in parentheses, is called an atomic formula.

一个谓词名，后跟以括在圆括号中的一个变元表，称为原子公式。

youdao