汉语文化宝库

现代逻辑

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

词语释义:

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

专业网站开发服务

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

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

相关推荐

词首 cí shǒu
玉藕 yù ǒu
肤泛 fū fàn
甜美 tián měi
闲架钱 xián jià qián
诈乱 zhà luàn
避远 bì yuǎn
皮弁服 pí biàn fú
凭匿 píng nì
玉京子 yù jīng zǐ
引耳 yǐn ěr
腾的 téng de
超支 chāo zhī
戟萃 jǐ cuì
培养 péi yǎng
僸佅 jìn mài
枢中 shū zhōng
萨齐玛 sà qí mǎ
渴盘陁国 kě pán tuó guó
馗厨 kuí chú