关键词：
收录约1万典故，50万词汇、2万作家信息
常用典故按出处分类按人物分类
《漢語大詞典》：数理逻辑
亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。
分類：数理逻辑狭义数学学方演绎思维基础学科
《國語辭典》：符号逻辑（符號邏輯）　　拼音：fú hào luó jí
一种逻辑。不限名词和命题，将其关系用数学符号表达，而以数学运算的方式，据以推断论證命题的结果，有执简衔繁的功效。
分類：数理逻辑
《國語辭典》：谓词（謂詞）　　拼音：wèi cí
句法中说明主语的成分称为「谓语」，而谓语的中心成分，也有人称为「谓词」。例如：「鸟飞」一句中，「飞」为谓语，这个谓语为单词，所以也可称为「谓词」。一般叙述句中的主要动词，称为「述语」，而有些语法学家就称为「谓词」。
分類：谓词句子数理逻辑谓语中表个个个体性质间关
《國語辭典》：传统逻辑（傳統邏輯）　　拼音：chuán tǒng luó jí
十九世纪中叶以前的逻辑，以亚里士多德所创的三段论證为主。相对于现代逻辑。也称为「古典逻辑」。
分類：普通逻辑数理逻辑形式逻辑
《國語辭典》：量词（量詞）　　拼音：liàng cí
表示事物或动作的单位词。表示事物单位的称为「物量词」，如个、块、斤、丈等。表示动作单位的称为「动量词」，如次、回、趟、遍等。
分類：量词数理逻辑示人和