predicate-logic

本文宣布《Logic for Programmers》第二章关于谓词逻辑的免费发布，以及该书印刷版现已上市。

一篇为程序员提供谓词逻辑速成课程的博客文章，解释谓词、布尔运算符和语法，使形式逻辑更易理解。