拼音: xiàn dài luó jí
数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
词性:
繁体: 現代邏輯
ASCII编码: 现代逻辑
现代逻辑相关词:
【点击】词组看词义
现任
现况
现刻
现前
现势
现化
现反
现在
现地
现场
在线智能组词网,学生专用组词工具.
绿色、免费、干净、专业
组词网
百家姓
Copyright © 在线组词 www.yizuci.com
渝ICP备20001389号-1
