词语

现代逻辑

现 代 逻 辑

xiàn dài luó jí

释义/解释

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

再看几个词

抬迭

tái dié

1.照顾﹐体贴。

常棣

cháng dì

1.木名。《诗．小雅．常棣》"常棣之花，鄂不韡韡，凡今之人，莫如兄弟。"诗序"常棣，…

凶折

xiōng zhé

1.短命;不得善终。

诱巧

yòu qiǎo

1.谓以狡猾手段欺骗人。

籀绎

zhòu yì

1.犹籀演。

旋斡

xuán wò

1.运转。