汉语文化库

现代逻辑

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

词语释义:

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

专业网站开发服务

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

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

相关推荐

蟹行文 xiè xíng wén
珠流璧转 zhū liú bì zhuǎn
祠器 cí qì
剖肝泣血 pōu gān qì xiě
相方 xiāng fāng
武汉大学 wǔ hàn dà xué
相认 xiāng rèn
同极 tóng jí
异善 yì shàn
疏险 shū xiǎn
延奬 yán jiǎng
到任规 dào rèn guī
恩眷 ēn juàn
洒心更始 sǎ xīn gèng shǐ
恝置 jiá zhì
溘毙 kè bì
夜者 yè zhě
罴虎 pí hǔ
灾厄 zāi è
橐它 tuó tā