汉语文化库

现代逻辑

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

词语释义:

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

专业网站开发服务

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

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

相关推荐

娇娜 jiāo nuó
向附 xiàng fù
公休日 gōng xiū rì
还篆 huán zhuàn
万年枝 wàn nián zhī
嗛退 xián tuì
附缠 fù chán
智慧海 zhì huì hǎi
嘱赞 zhǔ zàn
甘果 gān guǒ
伪偷 wěi tōu
遥空 yáo kōng
遏夺 è duó
紫舌 zǐ shé
鱼鳞云 yú lín yún
干硬 gān yìng
泼寒 pō hán
剺面 lí miàn
咸涩 xián sè
叉杆 chā gān