歡迎來到中文知識站!
>
介紹了命題邏輯演算方法。
邏輯演算對推理形式有效*的研究,比傳統邏輯更抽象、更嚴格,其原因是形式化方法的運用。
藉助一階邏輯演算有條件地把超限遞歸原理從序數類推廣到具有良基關係的類上。
圖文推薦
相關文章