現代邏輯
詞語意思：
數理邏輯和應用數理邏輯而形成的邏輯系統。其基本特點是形式化，就是用一套特制的表意符號去表示概念、判斷、推理，獲得它們的形式結構，從而把對概念、判斷、推理的研究轉化為對形式系統中符號的研究。
分詞解釋：
一套：
一組統一設計的物品。
特制：
1.以手詔形式宣行的詔令。
2.特地制造。
3.指特別的工藝制造。
應用：
①使用：應用方法｜理論應用于具體實踐。
②具有實用價值的：應用文｜基礎理論和應用技術同樣重要。
形成：
經過發展變化而成為：形成新的風格｜形成包圍。
它們：
代詞。稱不止一個的事物。