汉语文化库

现代逻辑

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

词语释义:

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

专业网站开发服务

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

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

相关推荐

乜邪 miē xié
蓬垢 péng gòu
殊俗 shū sú
钓道 diào dào
云消雾散 yún xiāo wù sàn
丽华 lì huá
暄新 xuān xīn
粘液 zhān yè
兰堂 lán táng
同济大学 tóng jì dà xué
天竹 tiān zhú
宗法 zōng fǎ
穷景 qióng jǐng
跎背 tuó bèi
施贶 shī kuàng
诏黄 zhào huáng
罢瘵 bà zhài
舍纵 shè zòng
尘芥 chén jiè
赛花灯 sài huā dēng