汉语文化库

现代逻辑

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

词语释义:

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

专业网站开发服务

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

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

相关推荐

霄见 xiāo jiàn
緑褠 lǜ gōu
嬿服 yàn fú
熟药 shú yào
收缘结果 shōu yuán jié guǒ
逶迤 wēi yǐ
偶合 ǒu hé
非李非桃 fēi lǐ fēi táo
近昵 jìn nì
直院 zhí yuàn
探雷器 tàn léi qì
平毁 píng huǐ
伤绪 shāng xù
节假 jié jiǎ
详要 xiáng yào
仆射 pū shè
驾空 jià kōng
信鸽 xìn gē
痛贬 tòng biǎn
香药脆梅 xiāng yào cuì méi