|
1：传统逻辑中专名和限定摹状词都是单独概念，在谓词逻辑中则被称为个体词。
2：具有较好的柔韧性和宽容度，它可以容纳经典谓词逻辑。
3：谓词逻辑：也叫谓词演算，它研究简单命题的内部结构。
4：目前，命题模态逻辑已成为人工智能以及计算机科学等其他领域的有效工具，但谓词模态逻辑却不是。
5：符号逻辑往往分为两个分支，命题逻辑和谓词逻辑。
6：有几种逻辑：命题逻辑的顺序，谓词的一个或多个、知识性、模态的，暂时的，模糊等。
7：岳阳柏祥方言中的亲属称谓词主要有“长辈”、“平辈”、“晚辈”三大类，经考证该方言称谓词有些沿用古代亲属称谓词。
8：清单2中的RDF三元组用谓词表达了author关系，虽然对您来说含义可能非常明显，但是计算机理解起来仍然困难。
9：在谓词演算的反驳树中，被证明的合式公式。
10：这种情况下的断言似乎就需要实现特定的语言扩展，于是一些人建议引入一阶谓词演算。
11：当用户从设计器上下文菜单中选择菜单项时，系统将调用该自定义处理程序，以执行与该菜单项关联的谓词。
|
