汉语文化库

现代逻辑

拼音:xiàn dài luó jí 注音:
Deprecated: htmlspecialchars(): Passing null to parameter #1 ($string) of type string is deprecated in /www/wwwroot/660i.com/zc.php on line 158
词性:名词 搜索量:26

词语释义:

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

专业网站开发服务

为您提供网站开发、SEO优化、移动应用、API接口、PHP、VUE、小程序开发等服务

微信:yvsm316 | 邮箱:yvsm@163.com | QQ:316430983

相关推荐

险鸷 xiǎn zhì
嗟赞 jiē zàn
狂子 kuáng zǐ
真宗 zhēn zōng
辩辩 biàn biàn
蚀毁 shí huǐ
中印边境自卫反击战 zhōng yìn biān jìng zì wèi fǎn jí zhàn
鬅头 péng tóu
笋枯 sǔn kū
分过 fēn guò
阴泉 yīn quán
劝架 quàn jià
飞灵 fēi líng
客观世界 kè guān shì jiè
佋侥 shào jiǎo
柳街花巷 liǔ jiē huā xiàng
理民 lǐ mín
蛟镡 jiāo tán
通事舍人 tōng shì shè rén
牛高马大 niú gāo mǎ dà