汉语文化库

现代逻辑

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

词语释义:

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

专业网站开发服务

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

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

相关推荐

百叶 bǎi yè
遗唱 yí chàng
昵交 nì jiāo
奏鸣曲 zòu míng qū
视民如伤 shì mín rú shāng
顾悸 gù jì
诛率 zhū lǜ
惊急 jīng jí
邑号 yì hào
黭漠 yān mò
毁短 huǐ duǎn
醓白 tǎn bái
新闻五要素 xīn wén wǔ yào sù
探借 tàn jiè
干材 gān cái
惊伏 jīng fú
穷猿奔林 qióng yuán bēn lín
溲酒 sōu jiǔ
吊验 diào yàn
轻重九府 qīng zhòng jiǔ fǔ