词语现代逻辑
注音ㄒ一ㄢˋ ㄉㄞˋ ㄌㄨㄛˊ ㄐ一ˊ
基本解释数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化,就是用一套特制的表意符号去表示概念、判断、推理,获得它们的形式结构,从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
相关汉字现、代、逻、辑|
首字母查词:A B C D E F G H J K L M N O P Q R S T W X Y Z
按词性查词:名词 动词 形容词 副词 量词 拟声词 结构助词 助词 并列连词 连词 介词 代词 疑问词 数词 成语
按结构查词:AABB式 A里AB式 ABAB式 ABB式 AAB式 AA式 ABAC式 ABCC式 AABC式