Hillel Wayne 在新书《Logic for Programmers》出版后，把第二章改写成一篇免费的速成课。文章从程序员熟悉的「返回布尔值的函数」切入介绍谓词（predicate），并指出谓词是数学概念而非编程构造——它只需定义答案是什么，不必给出计算方法，因此可以表达抽象甚至无法计算的性质。作者用 backtick 包裹的抽象谓词与 TitleCase 命名法来区分抽象与具体谓词，随后逐步引入蕴含运算符、集合与量词，并通过一个「足够内存 + 快 CPU 或好显卡」的需求实例展示形式化如何暴露自然语言的歧义。