汉语文化库

现代逻辑

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

词语释义:

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

专业网站开发服务

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

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

相关推荐

吻创 wěn chuàng
解j jiě j
穷且益坚 qióng qiě yì jiān
淈尽 gǔ jǐn
止壁 zhǐ bì
铨柄 quán bǐng
省亲 shěng qīn
适过 shì guò
腾噪 téng zào
堂对 táng duì
白暗 bái àn
花藟 huā lěi
改邪归正 gǎi xié guī zhèng
四近 sì jìn
携带 xī dài
搏弄 bó nòng
祥祉 xiáng zhǐ
平情 píng qíng
颐指气使 yí zhǐ qì shǐ
玉衔 yù xián