现代逻辑
拼音:xiàn dài luó jí 首字母大写:XDLJ五笔:gm wa lqp lkb 现代逻辑的同义词反义词
数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化,就是用一套特制的表意符号去表示概念、判断、推理,获得它们的形式结构,从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
版权声明:他人将文学素材网提供的内容与服务用于商业、盈利、广告性目的时,需得注明出处,转载时请附上原文出处链接及本声明。
原文链接:https://www.wenxuesucai.com/search/cidian/1/296732131.html