汉语文化库

现代逻辑

拼音: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

相关推荐

惇睦 dūn mù
清清谨谨 qīng qīng jǐn jǐn
谄黩 chǎn dú
相蒙 xiāng méng
踪绪 zōng xù
压灾 yā zāi
茹柔吐刚 rú róu tǔ gāng
意巧 yì qiǎo
鸣銮 míng luán
抿子 mǐn zǐ
烟浔 yān xún
生数 shēng shù
放假 fàng jiǎ
还书 huán shū
緑舌 lǜ shé
庞驳 páng bó
青精石饭 qīng jīng shí fàn
干灾 gān zāi
半死不活 bàn sǐ bù huó
雪蛆 xuě qū