现代逻辑
词语解释
现代逻辑[ xiàn dài luó jí ]
1.数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究
相关汉字
词语组词
相关词语
- xiàn shēn shuō fǎ现身说法
- xiàn shí zhǔ yì现实主义
- xiàn shì xiàn bào现世现报
- xiàn fàn xiàn mài现贩现卖
- lǐ dài táo jiāng李代桃殭
- shí dài míng wáng十代冥王
- jué dài jiā rén绝代佳人
- yī dài fēng liú一代风流
- kǒu luó dù zǎn口逻肚攒
- yǐ gōng dài zhèn以工代赈
- máo xì xiàn xiàng毛细现象
- quán quán dài biǎo全权代表
- fǎn zǔ xiàn xiàng返祖现象
- luó ji sī wéi逻辑思维
- zì rán xiàn xiàng自然现象
- tiě qì shí dài铁器时代
现代逻辑造句
- 1、叶圣陶先生早年关于文体分类的持论存在严重的缺失，我们也必须以现代逻辑科学为准绳重新进行理性审视。
- 2、半符号逻辑是一种新的逻辑分支，它试图突破传统和现代逻辑的局限性，建立一种既严格又易于掌握的逻辑体系。
- 3、之后，美籍逻辑学家歌德尔一阶谓词演算的完备性定理，这标志着现代逻辑基础部分的完成。
- 4、从现代逻辑和语言哲学看，休谟问题是可消解的，而科学实在论正是在科学现实基础上得以成立。
