汉语文化库

现代逻辑

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

词语释义:

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

专业网站开发服务

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

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

相关推荐

姑布 gū bù
扭造 niǔ zào
贼手贼脚 zéi shǒu zéi jiǎo
舟檝 zhōu jí
媢忌 mào jì
橡栗 xiàng lì
铦袭 xiān xí
暝机 míng jī
平白无故 píng bái wú gù
明天 míng tiān
抗生素 kàng shēng sù
鋭挫望絶 ruì cuò wàng jué
丑诧 chǒu chà
轰腾 hōng téng
声闻乘 shēng wén chéng
雪山飞狐 xuě shān fēi hú
余蓄 yú xù
局顿 jú dùn
罄乏 qìng fá
口谭 kǒu tán