汉语文化库

现代逻辑

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

词语释义:

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

专业网站开发服务

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

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

相关推荐

谢老 xiè lǎo
议席 yì xí
酒榷 jiǔ què
象觯 xiàng zhì
猃猲 xiǎn xiē
湘鄂赣革命根据地 xiāng è gàn gé mìng gēn jù dì
帮狗吃食 bāng gǒu chī shí
惋惋 wǎn wǎn
都君 dū jūn
新造 xīn zào
星虹 xīng hóng
默意 mò yì
污伪 wū wěi
脱难 tuō nán
两面干部 liǎng miàn gān bù
文采 wén cǎi
卢薄 lú bó
入瓮 rù wèng
卖功 mài gōng
鋈铣 wù xiǎn