汉语文化库

现代逻辑

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

词语释义:

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

专业网站开发服务

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

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

相关推荐

早堂 zǎo táng
短平快 duǎn píng kuài
颓肩 tuí jiān
逼法 bī fǎ
小绥 xiǎo suī
连挺 lián tǐng
礼至 lǐ zhì
水澒 shuǐ hòng
西府海棠 xī fǔ hǎi táng
无比店 wú bǐ diàn
库丁 kù dīng
风起水涌 fēng qǐ shuǐ yǒng
袍襺 páo jiǎn
槐堂 huái táng
惊魂失魄 jīng hún shī pò
顾瞻 gù zhān
擅权 shàn quán
西僰 xī bó
一心同归 yī xīn tóng guī
合钱 hé qián