1.数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究
1.输入您想查询的词语，简体、繁体均可。
例如 "汉语"、"漢語" 等；
2.输入拼音，有无空格、带不带声调均可。
例如 "hàn yǔ"、"han yu" 或 "hanyu" 等；
3.输入词语的拼音首字母缩写，大小写均可。
例如搜索 "汉语"，输入 "hy" 或 "HY" 均可；
4.输入单个汉字亦可查询该字的词语组词。
例如 "汉"、"语"、"查" 等；
5.输入汉字拼音以外的字符会自动忽略。
