[谓词逻辑]谓词概念，函词和量词 - 知乎 数理逻辑（3）——谓词逻辑的基本概念 - 知乎
命题逻辑是句子的逻辑，谓词逻辑是词的逻辑，命题逻辑是谓词逻辑的基础，谓词逻辑是命题逻辑的细化。
命题逻辑是一种比较简单，泛泛的逻辑。比如令命题A表示“小明喜欢数学” 而谓词逻辑，是将命题逻辑表达不出来的逻辑继续细化，比如A（x,y）表示x喜欢y，则“小明喜欢数学”可以表示为A（小明，数学）
谓词逻辑 更加抽象、符号化？
【 命题逻辑和谓词逻辑之间有什么关系？ - 知乎](https://www.zhihu.com/question/47703279)】
谓词逻辑是对命题逻辑的补充和完善。其核心概念包括谓词和个体。谓词用于表述性质或个体之间的关系，而个体即谓词表述的主体。谓词函数是个体到T、F之间的映射，函词是个体到个体之间的映射，而量词分为全称量词和存在量词12。
命题逻辑是逻辑学的一个分支。它也称为命题演算、句子演算、句子逻辑，有时也称为零阶逻辑。它涉及命题（可以是真或假）和命题之间的关系，包括基于它们的论证的构建。复合命题是通过逻辑连接词连接命题而形成的。不包含逻辑连接词的命题称为原子命题。 与一阶逻辑不同，命题逻辑不处理非逻辑对象、以及关于它们的谓词或量词。然而，命题逻辑的所有机制都包含在一阶逻辑和高阶逻辑中。从这个意义上说，命题逻辑是一阶逻辑和高阶逻辑的基础。
在逻辑和数学里， 命题逻辑是一个形式系统, 有可以由以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。 【命题逻辑 - 维基百科，自由的百科全书】
dv.paragraph(
dv.current().file.etags.distinct()
.sort(t => dv.pages(t).length , 'desc')
.map(
t => {
return `[${t}](${t})`+"("+dv.pages(t).length+")"
}
).array().join(" ")
)