logic-tutorial

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