现代逻辑
xiàn
dài
luó
jí
词语解释
数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
在线词典介绍
为您提供最新的汉语词典查询服务，目前收录了新华词典、现代汉语词典的所有的词语，词语会根据实际情况不断增加和修订，始终保持最新。
您可以输入任何词语中的部分文字或者词语，如：高，高兴，只要符合查询条件的词语都会显示出来。感谢您的使用。