1、命题逻辑显然可以看作谓词逻辑的一个子集。因为谓词逻辑中一般是允许出现0元谓词的。全部由0元谓词的构成的公式就是命题逻辑公式了。  2、正如前面庄老师所说，当论域为一个大小确定的有限集时，一个谓词公式可以等价地转化成一个命题逻辑公式。当不特别说明论域（即，只在语法层面上讨论，不涉及语义），或论域的大小不是一个确定的自然数时，就不存在一般的转化方法了。     例如，公式“对所有x(P(x)->Q(x))”。如果已知论域为{a[1],a[2],...,a[n]}。则可以把P(a[1])，Q(a[1]），P(a[2])，Q(a[2])，……，P(a[n])，Q(a[n])看作2N个命题（即，定义命题P_i为：P(a[i])为真，定义命题Q_i为：Q(a[i])为真），从而原来的谓词公式就成了 (P_1->Q_1)∧(P_2->Q_2)∧……∧(P_n->Q_n)。     如果不满足“论域为一个大小确定的有限集”这个条件，上述谓词逻辑公式显然无法等价地转化成一个命题逻辑公式。  3、关于“命题逻辑与谓词逻辑的内容”、“两者表示知识的方法及其推理方法”、“命题逻辑与谓词逻辑的内在联系及区别”，推荐你找几本数理逻辑的书来看一下，许多逻辑书上都有介绍。  4、一阶谓词逻辑是命题逻辑的推广，二阶谓词逻辑是一阶谓词逻辑的推广

文本聚类有如下应用：

1. 文本聚类可以作为多文档自动文摘(Multiple Document Summarization, SDS)等自然语言处理(Natural Language Processing, NLP)应用的预处理步骤。比较典型的例子是哥伦比亚大学开发的多文档文摘系统Newsblaster。Newsblaster将每天发生的重要新闻文本 进行聚类处理，并对同主题文章进行冗余消除、信息融合、文本生成等处理，从而生成一篇简明扼要的摘要文档；