??????? 第二章為一階邏輯逻悠，定義了非常多的新概念叙谨，先是從主體上分出了個(gè)體詞，個(gè)體域欧宜，謂詞等概念辽俗。第二節(jié)主要講了合式公式，原子公式等篡诽，且引入了指導(dǎo)變項(xiàng)崖飘，約束出現(xiàn)，自由出現(xiàn)杈女，閉式等東西朱浴，其實(shí)終其所有，無非是給日常的一些描述規(guī)范化了达椰，包括后面的范式也是同樣的作用翰蠢。
??????? 第三章主要講了集合的相關(guān)概念，這當(dāng)中很多內(nèi)容是高中就接觸和學(xué)習(xí)的啰劲，這里只說幾個(gè)以前沒有見過的新的點(diǎn)：冪集梁沧，對(duì)稱差，以及包含排斥原理蝇裤。
