汉语文化宝库

现代逻辑

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

词语释义:

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

专业网站开发服务

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

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

相关推荐

相台 xiāng tái
楼子花 lóu zǐ huā
溘然 kè rán
刳胎焚郊 kū tāi fén jiāo
凈濑 jìng lài
遐风 xiá fēng
红男绿女 hóng nán lǜ nǚ
斗法 dǒu fǎ
族尊 zú zūn
淹粹 yān cuì
金石至交 jīn shí zhì jiāo
莱茵河化学药品事故 lái yīn hé huà xué yào pǐn shì gù
东学 dōng xué
云合响应 yún hé xiǎng yìng
第一信号系统 dì yī xìn hào xì tǒng
钟离权 zhōng lí quán
运口 yùn kǒu
五戊 wǔ wù
秦纲 qín gāng
列趄 liè jū