基于括號表示法的一階邏輯系統

摘要：括號表示法是一種在形式語言中以括號來表示各種邏輯常項的符號表示方法。與已有的表示方法不同,它是一種整體表示法。以命題邏輯的形式語言為例,可以證明括號表示法的唯一性定理。在形式語言中,運用括號表示法表達的公式,其長度比用中置法表達的公式簡短。運用括號表示法改寫的一階邏輯自然推理系統非常簡潔。括號表示法為研究邏輯常項的推理結構提供了一個非常良好的分析工具。