This language of frst-order logic is very important. 一階邏輯語言是非常重要的。
The paper explores the conditions of reasoning rules for predication logic based on logic relationship associating with employing counter-examples. 摘要基於一階邏輯相關概念的內涵,結合恰當的反例,探析了一階邏輯推理規則成立的條件。