词典现代逻辑
现代逻辑
词语解释
⒈ 数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化,就是用一套特制的表意符号去表示概念、判断、推理,获得它们的形式结构,从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
相关词语
- tiē xiàn lǜ贴现率
- luó qí逻骑
- dǐng dài顶代
- jiāng lǐ dài táo僵李代桃
- yī dài ér一代儿
- jí ān辑安
- zǔ dài祖代
- huó yǎn xiàn bào活眼现报
- lǔ dài tīng卤代烃
- dài xù代叙
- xiāng shēng xiàn xiàng相生现象
- yùn dài运代
- bà dài rì霸代日
- sān guó shí dài三国时代
- chéng nián gǔ dài成年古代
- sān dài zhí jīn三代执金
- guān dài冠代
- xiàn yín zǐ现银子
- rěn rǎn dài xiè荏苒代谢
- fān dài番代
- dài dé代德
- xiàn dài wǔ xiàng现代五项
- dài zhuó代斵
- dài míng代明
- dì dài递代
- rén mín dài biǎo人民代表
- sān gè dài biǎo三个代表
- dài zhuī代追
- xiàn xíng jià gé现行价格
- jí ruì辑瑞