现代逻辑

xiàn dài luó jí

词语解释

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

缩写

xdlj

现组词

现下现丑现世现世宝现世报现世现报现世生苗现业现买现卖现事现今现代现代主义现代五项现代五项运动现代企业制度现代冬季两项现代化现代十六家小品现代咨询学

查看更多"现"开头的词语

今日热门词语

乐悦只鳞片甲埭程壸奥忙合拜贺撂手瑶席直钩饿鬼投胎黑色食品