汉语文化库

现代逻辑

拼音: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

相关推荐

金钗钿合 jīn chāi diàn hé
冷热病 lěng rè bìng
笋城 sǔn chéng
毋几 wú jī
煤田 méi tián
夏屋 xià wū
撑目 chēng mù
上海租地章程 shàng hǎi zū dì zhāng chéng
上罪 shàng zuì
悬购 xuán gòu
奇笔 qí bǐ
送子娘娘 sòng zǐ niáng niáng
瞅采 chǒu cǎi
饫听 yù tīng
自誓 zì shì
宿雪 sù xuě
小佞 xiǎo nìng
奄官 yǎn guān
看产 kàn chǎn
纶至 lún zhì