汉语文化库

现代逻辑

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

词语释义:

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

专业网站开发服务

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

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

相关推荐

滞想 zhì xiǎng
宇荫 yǔ yìn
无艺 wú yì
冲隆 chōng lóng
义愤 yì fèn
斗色 dǒu sè
馈携 kuì xī
降奚 jiàng xī
二十进制 èr shí jìn zhì
名士 míng shì
诗王 shī wáng
轺辇 yáo niǎn
雠比 chóu bǐ
线导鱼雷 xiàn dǎo yú léi
符历 fú lì
插嘴 chā zuǐ
手将 shǒu jiāng
疏犷 shū guǎng
悬厓 xuán yá
搀摵 chān suǒ