一階邏輯等值演算

寫在前面： 我是「虐貓人薛定諤i」，一個不滿足於現狀，有夢想，有追求的00後 \quad 本博客主要記錄和分享自己畢生所學的知識，歡迎關注，第一時間獲取更新。 \quad 不忘初心，方得始終。自己的夢想，終有一天會實現！ \quad ❤❤❤❤❤❤❤❤❤❤ 文章目錄 一階邏輯等值式與置換規則 一階邏輯前束範式 一階邏輯等值式與置換規則 設A，B是一階邏輯中的兩個公式，若 A ↔ B A\leftri

>>阅读原文<<