關鍵詞：
收錄約1萬典故，50萬詞匯、2萬作家信息
常用典故按出處分類按人物分類
《漢語大詞典》：數(shù)理邏輯
亦稱“符號邏輯”。狹義指用數(shù)學方法研究數(shù)學中的演繹思維以及數(shù)學基礎的學科。廣義指一切用符號和數(shù)學方法處理和研究演繹法的學問。既是數(shù)學的一個分支，又是邏輯學的一個分支。數(shù)理邏輯對數(shù)學研究和工程技術有重要意義，對一般思維中某些問題的解決也有成效。
《國語辭典》：符號邏輯（符號邏輯）　　拼音：fú hào luó jí
一種邏輯。不限名詞和命題，將其關系用數(shù)學符號表達，而以數(shù)學運算的方式，據(jù)以推斷論證命題的結果，有執(zhí)簡銜繁的功效。
《國語辭典》：謂詞（謂詞）　　拼音：wèi cí
句法中說明主語的成分稱為「謂語」，而謂語的中心成分，也有人稱為「謂詞」。例如：「鳥飛」一句中，「飛」為謂語，這個謂語為單詞，所以也可稱為「謂詞」。一般敘述句中的主要動詞，稱為「述語」，而有些語法學家就稱為「謂詞」。
《國語辭典》：傳統(tǒng)邏輯（傳統(tǒng)邏輯）　　拼音：chuán tǒng luó jí
十九世紀中葉以前的邏輯，以亞里士多德所創(chuàng)的三段論證為主。相對于現(xiàn)代邏輯。也稱為「古典邏輯」。
《國語辭典》：量詞（量詞）　　拼音：liàng cí
表示事物或動作的單位詞。表示事物單位的稱為「物量詞」，如個、塊、斤、丈等。表示動作單位的稱為「動量詞」，如次、回、趟、遍等。