汉语文化库

现代逻辑

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

词语释义:

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

专业网站开发服务

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

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

相关推荐

左甄 zuǒ zhēn
告天子 gào tiān zǐ
思度 sī dù
黦颜 yù yán
诈道 zhà dào
遇礼 yù lǐ
楼松 lóu sōng
追从 zhuī cóng
华侨 huá qiáo
鱼鳞册 yú lín cè
酬寄 chóu jì
椰榆 yé yú
十洲三岛 shí zhōu sān dǎo
孟德尔定律 mèng dé ěr dìng lǜ
应机 yìng jī
血系 xiě xì
鸣雁直木 míng yàn zhí mù
塞翁之马 sāi wēng zhī mǎ
酒式 jiǔ shì
太孙 tài sūn