汉语文化库

现代逻辑

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

词语释义:

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

专业网站开发服务

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

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

相关推荐

分燠嘘寒 fēn yù xū hán
坏劫 huài jié
秘殿 mì diàn
霸山 bà shān
澈漠 chè mò
虚说 xū shuō
解酩 jiě míng
痴妄 chī wàng
篆刻 zhuàn kè
淘濯 táo zhuó
泞潦 nìng lǎo
静境 jìng jìng
海丞 hǎi chéng
校督 xiào dū
蓼莪 liǎo é
毋事 wú shì
阵门 zhèn mén
湎演 miǎn yǎn
禽兽葡萄镜 qín shòu pú táo jìng
舍短録长 shè duǎn lù cháng