汉语文化库

现代逻辑

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

词语释义:

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

专业网站开发服务

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

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

相关推荐

垂芳 chuí fāng
家教 jiā jiào
憆很 chēng hěn
夕月 xī yuè
乔装改扮 qiáo zhuāng gǎi bàn
乌兰布和沙漠 wū lán bù hé shā mò
无尘子 wú chén zǐ
明审 míng shěn
勋迹 xūn jī
粘着 zhān zháo
口似悬河 kǒu sì xuán hé
銀金 yín jīn
霉瘠 méi jí
陈因 chén yīn
鬲氏 lì shì
木椎 mù zhuī
王泽 wáng zé
原价 yuán jià
看扁 kàn biǎn
斗彩 dǒu cǎi