汉语文化库

现代逻辑

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

词语释义:

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

专业网站开发服务

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

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

相关推荐

琹莹 qín yíng
刺答 cì dá
穢定 huì dìng
咂巴 zā bā
猪仔议员 zhū zǐ yì yuán
芝畹 zhī wǎn
种民 zhǒng mín
辞典 cí diǎn
不挂眼 bù guà yǎn
老积年 lǎo jī nián
义子 yì zǐ
阴吹 yīn chuī
团坐 tuán zuò
墨者 mò zhě
正寿 zhèng shòu
世类 shì lèi
征须 zhēng xū
三花聚顶 sān huā jù dǐng
行操 xíng cāo
念白 niàn bái