现代逻辑
拼音xiàn dài luó jí
注音ㄒ一ㄢˋ ㄉㄞˋ ㄌㄨㄛˊ ㄐ一ˊ
繁体現代邏輯
词语解释
⒈ 数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
相关词语
- xīng huò pù星货铺
- xīn xīn昕昕
- xià gōng fū下工夫
- xié zhēn鲑珍
- xuán yǒng悬涌
- xiáng lì祥历
- xún mì询觅
- xiāng huáng qí厢黄旗
- xié chén谐臣
- xiǎo míng jiā小名家
- xīn qìng欣庆
- xuān zhèn宣振
- xiāo zú骁卒
- xié fù谐附
- xùn xiá训狎
- xìn cì信次
- xún gēng巡耕
- xiān yì鲜异
- xuán jiàn玄鉴
- xū jǐng墟井
- xiē pāi歇拍
- xuè yù血郁
- xí bù xiá nuǎn席不暇暖
- xīng lì星历
- xiè bù谢步
- xiù lì秀立
- xiě wàng写望
- xìn chàng衅鬯
- xiū bǎo休宝
- xī yóu bǔ西游补
- xuè sì血祀
- xuán qián zhuǎn kūn旋干转坤
- xuán héng璇衡
- xíng yín shī rén行吟诗人
- xuān mù儇目
- xǐ xīn洗心
- xíng bù lǚ wēi行不履危
- xún jiū寻究
- xiāng lì相丽
- xiào càn笑粲