higher oder logic

• 高阶逻辑

higher oder logic的用法和样例：

例句

1. This language of frst-order logic is very important.
   一阶逻辑语言是非常重要的。
2. The paper explores the conditions of reasoning rules for predication logic based on logic relationship associating with employing counter-examples.
   摘要基于一阶逻辑相关概念的内涵，结合恰当的反例，探析了一阶逻辑推理规则成立的条件。