现代逻辑 xiàn dài luó jí 词语信息 词性名词 拼音（无调）xian dai luo ji 首字母xdlj 释义 数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。 同首字母词语 郇厨 xún chú 郇公厨 xún gōng chú 郇庖 xún páo 旮旮旯旯儿 xù xù xù xù ér 旮旯儿 xù xù ér 泬寥 xuè liáo 泬若 xuè ruò 旯旮 xù xù 胻袄 xíng ǎo 胻肛 xíng gāng 鋗人 xuān rén 鋗玉 xuān yù