汉语文化库

现代逻辑

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

词语释义:

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

专业网站开发服务

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

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

相关推荐

九命 jiǔ mìng
顺悌 shùn tì
小蓬莱 xiǎo péng lái
问对 wèn duì
瀌瀌 biāo biāo
打当 dǎ dāng
厮舍 sī shè
函开 hán kāi
悖言 bèi yán
小谴 xiǎo qiǎn
请粟 qǐng sù
湔澣 jiān huǎn
遑迫 huáng pò
辨白 biàn bái
眷识 juàn shì
六一诗话 liù yī shī huà
相禅 xiāng shàn
匡剌 kuāng là
谲士 jué shì
惜分阴 xī fēn yīn