词语解释
数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
随机推荐
- jiè yù界域
- bèi shōu被收
- zhēng xiàng争向
- fù kān附刊
- tī chéng梯城
- fān hào番号
- xī xī熙熙
- M1M1
- jí zǎo急早
- lèi rén yuán类人猿
- yì duàn意断
- wú lóu tíng芜蒌亭
- shēng bēi生碑
- xíng shù行戍
- yán bīng严兵
- lián máo连毛
- yē yē gěng gěng噎噎哽哽
- lǚ jū旅居
- qián chì歬傺
- zhà xuě zhōu咤雪洲
- shù pào树炮
- zhǐ huà襧化
- méng méng sōng sōng朦朦忪忪
- liàn jiē链接
- sì tiān四天
- jiù cǎo就草
- qǐng shùn请顺
- jiā gōng加工
- bìng dié并迭
- liù dì六地