这个网站是由捐款支持的OEIS基金会.

谓词逻辑

来自OeisWiki
跳转到:航行,搜索


这篇文章的页面是一个存根,请扩展一下。


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

另请参见