这个网站是通过捐款来支持的。OEIS基金会是的。

谓词逻辑

从奥伊斯维基
跳转到:航行搜索


这篇文章是一个存根,请帮助扩展它。


谓词逻辑一阶逻辑)有谓语,即基于变量的命题,以及逻辑量词变量。

另见