汉语文化宝库

现代逻辑

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

词语释义:

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

专业网站开发服务

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

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

相关推荐

夜光 yè guāng
龆龄 tiáo líng
浊碎 zhuó suì
一目了然 yī mù le rán
焚林而田 fén lín ér tián
凡蔽 fán bì
臭么 chòu me
肇分 zhào fēn
十恶五逆 shí è wǔ nì
幼学 yòu xué
醉鱼草 zuì yú cǎo
九姑课 jiǔ gū kè
楸户 qiū hù
枯萎 kū wēi
挺而走险 tǐng ér zǒu xiǎn
冷玉 lěng yù
瑟居 sè jū
哭嫁 kū jià
环睨 huán nì
雁峯 yàn fēng