汉语文化库

现代逻辑

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

词语释义:

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

专业网站开发服务

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

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

相关推荐

违法乱纪 wéi fǎ luàn jì
土姓 tǔ xìng
职名 zhí míng
倰竞 léng jìng
似续 sì xù
烈货 liè huò
确志 què zhì
厕筹 cè chóu
线画 xiàn huà
鱼蚕 yú cán
反膺 fǎn yīng
营济 yíng jì
衣库 yī kù
田律 tián lǜ
七萃 qī cuì
趣织 qù zhī
弄巧反拙 nòng qiǎo fǎn zhuó
停断 tíng duàn
浑头浑脑 hún tóu hún nǎo
宇寰 yǔ huán