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