现代逻辑 xiàn dài luó jí
数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化,就是用一套特制的表意符号去表示概念、判断、推理,获得它们的形式结构,从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
现组词代组词逻组词辑组词
现笔顺笔画代笔顺笔画逻笔顺笔画辑笔顺笔画
现近义词代近义词逻近义词辑近义词
现反义词代反义词逻反义词辑反义词