汉语文化库

现代逻辑

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

词语释义:

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

专业网站开发服务

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

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

相关推荐

竦峭 sǒng qiào
帝佐 dì zuǒ
银缠 yín chán
脚爪 jiǎo zhuǎ
缮治 shàn zhì
十二诸侯 shí èr zhū hóu
东扭西捏 dōng niǔ xī niē
炜煜 wěi yù
选侯 xuǎn hóu
臊秽 sāo huì
役隶 yì lì
居俭 jū jiǎn
平出 píng chū
崖峤 yá jiào
绦笼 tāo lóng
言归正传 yán guī zhèng chuán
红旗手 hóng qí shǒu
估捣 gū dǎo
私起 sī qǐ
霸道横行 bà dào héng xíng