拼音xiàn dài luó jí
注音ㄒ一ㄢˋ ㄉㄞˋ ㄌㄨㄛˊ ㄐ一ˊ
词语解释
⒈ 数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至123@邮箱举报，一经查实，本站将立刻删除。