现代逻辑

现代逻辑 xiàn dài luó jí
词语意思：
数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
分词解释：
一套：
一组统一设计的物品。
特制：
1.以手诏形式宣行的诏令。
2.特地制造。
3.指特别的工艺制造。
应用：
①使用：应用方法｜理论应用于具体实践。
②具有实用价值的：应用文｜基础理论和应用技术同样重要。
形成：
经过发展变化而成为：形成新的风格｜形成包围。
它们：
代词。称不止一个的事物。