【词语】
现代逻辑
【全拼】
xiàn dài luó jí
【释义】
数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
【例句】
1、运用现代汉语语法、辞和逻辑知识对医学论文中一些典型病句进行分类辨析，并加以修改。
2、 美国逻辑学家奎因,作为西方分析哲学运动的代表人物,始终如一地依靠现代逻辑成就,坚持逻辑实用主义,在二十世纪逻辑学与西方哲学领域里,有着重要的影响。
3、 然而，用现代非过程语言，有时称第四代语言或说明语言，程序员只简单地确定问题的逻辑关系，而让语言变换程序推算出如何解决问题。
4、 现代的（软件）设计至少采用了三块：表示模块（处理所有的用户接口逻辑操作）、业务逻辑模块（负责数据处理和集成）和数据库管理系统模块（完成所有数据管理的细节）。