汉语文化宝库

现代逻辑

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

词语释义:

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

专业网站开发服务

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

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

相关推荐

斤斗云 jīn dǒu yún
冶女 yě nǚ
文轩 wén xuān
侍案 shì àn
嘴大舌长 zuǐ dà shé cháng
宰臣 zǎi chén
走散 zǒu sàn
树彩 shù cǎi
太一坛 tài yī tán
披剃 pī tì
虬珠 qiú zhū
县志 xiàn zhì
猥险 wěi xiǎn
姑妐 gū zhōng
隆崛 lóng jué
令旨 lìng zhǐ
海沟 hǎi gōu
层阿 céng ā
铨柄 quán bǐng
秘戏图 mì xì tú