汉语文化库

现代逻辑

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

相关推荐

行路人 xíng lù rén
椶檐子 zōng yán zǐ
嘉币 jiā bì
树声 shù shēng
陟黜 zhì chù
乌豆 wū dòu
晰类 xī lèi
小徭役 xiǎo yáo yì
欺灭 qī miè
窥豹一斑 kuī bào yī bān
土茅 tǔ máo
奸胆 jiān dǎn
至理名言 zhì lǐ míng yán
饥疠 jī lì
差杀 chà shā
麤豪 cū háo
丹陆 dān lù
青亩 qīng mǔ
煞年 shā nián
溶结 róng jié