汉语文化库

现代逻辑

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

词语释义:

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

专业网站开发服务

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

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

相关推荐

成对 chéng duì
科员 kē yuán
劁刈 qiāo yì
飞光 fēi guāng
妍手 yán shǒu
筛罗 shāi luō
饀食 táo shí
月影 yuè yǐng
逆遣 nì qiǎn
艳紫妖红 yàn zǐ yāo hóng
纸阁 zhǐ gé
鹿蕉 lù jiāo
惟城 wéi chéng
鸠子 jiū zǐ
横列 héng liè
遐庭 xiá tíng
张家界市 zhāng jiā jiè shì
靴筒 xuē tǒng
吮墨 shǔn mò
獯粥 xūn zhōu