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