本文讨论了公式的定义及其在逻辑关系中的应用。公式根据自由变量的值可为真或假，广泛用于类、谓词和选择子句中。详细介绍了比较公式、平等公式、类型检查和范围检查等不同类型的公式，强调了它们在表达式中的重要性。此外，阐述了量化公式和逻辑连接词的使用，展示了如何构建复杂的逻辑表达式。