汉语文化库

现代逻辑

拼音: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
词性:名词 搜索量:27

词语释义:

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

专业网站开发服务

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

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

相关推荐

媞媞 tí tí
逸想 yì xiǎng
素衣 sù yī
燥热 zào rè
占城 zhān chéng
妖幸 yāo xìng
没颜落色 méi yán luò sè
临贲 lín bì
属界 shǔ jiè
洛阳田 luò yáng tián
挠搅 náo jiǎo
威逼 wēi bī
土父 tǔ fù
篁路 huáng lù
遗送 yí sòng
宸明 chén míng
反复无常 fǎn fù wú cháng
良懦 liáng nuò
阅边 yuè biān
讨习 tǎo xí