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