字典
|
|
成语
|
诗词
|
黄历
输入词语(最少一个汉字)即可查询，例：“汉”;“我”;“我们”;“他们”。

词语解释

xiàn dài luó jí

现代逻辑

数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。

相关词语：

安辑　安于现状　纂代　纂辑　祖宗三代　子一代　祖代　祖宗八代　撰辑　捉刀代笔　子孙后代　总编辑　资代　缀辑　自我表现　现而今　装辑　专辑　重代　中国共产党第十五次全国代表大会　子代　中国共产党第三次全国代表大会　中华人民共和国全国人民代表大会　拽巷逻街　中国共产党第十四次全国代表大会　中国共产党第十二次全国代表大会　中国共产党第一次全国代表大会　中国共产党第九次全国代表大会　中国共产党第十一次全国代表大会　中国共产党第七次全国代表大会