谓词逻辑

这篇文章的页面是一个存根，请通过展开它来提供帮助。

谓词逻辑(一阶逻辑)有谓词即基于变量的命题，以及逻辑量词用于变量。

另请参见

• 零阶逻辑（具有常量命题)
• 一阶逻辑（具有谓词即基于变量的命题，以及逻辑量词对于变量）