閱讀
綜合
詩話
詞話
古籍檢索
類書集成
查詢
詩詞
典故詞匯
對仗詞匯
詞譜
曲譜
詩詞地圖
登錄
韻典
平水韻
詞林正韻
中原音韻
中華通韻
校注
律詩校驗
詞格校驗
曲格校驗
對聯(lián)校驗
自動箋注
課堂
律絕創(chuàng)作
填詞入門
公開課
學(xué)習(xí)指南
其它
簡繁轉(zhuǎn)換
詩社
詩詞書店
關(guān)鍵詞:
收錄約1萬典故,50萬詞匯、2萬作家信息
常用典故
按出處分類
按人物分類
檢索結(jié)果:
全部
5
詞典
1
分類詞匯
4
分類詞匯
符號邏輯
謂詞
傳統(tǒng)邏輯
量詞
《國語辭典》:
符號邏輯(符號邏輯)
拼音:
fú hào luó jí
一種邏輯。不限名詞和命題,將其關(guān)系用數(shù)學(xué)符號表達(dá),而以數(shù)學(xué)運算的方式,據(jù)以推斷論證命題的結(jié)果,有執(zhí)簡銜繁的功效。
分類:
數(shù)理邏輯
《國語辭典》:
謂詞(謂詞)
拼音:
wèi cí
句法中說明主語的成分稱為「謂語」,而謂語的中心成分,也有人稱為「謂詞」。例如:「鳥飛」一句中,「飛」為謂語,這個謂語為單詞,所以也可稱為「謂詞」。一般敘述句中的主要動詞,稱為「述語」,而有些語法學(xué)家就稱為「謂詞」。
分類:
謂詞
句子
數(shù)理邏輯
謂語
中表
個個
個體
性質(zhì)
間關(guān)
《國語辭典》:
傳統(tǒng)邏輯(傳統(tǒng)邏輯)
拼音:
chuán tǒng luó jí
十九世紀(jì)中葉以前的邏輯,以亞里士多德所創(chuàng)的三段論證為主。相對于現(xiàn)代邏輯。也稱為「古典邏輯」。
分類:
普通
邏輯
數(shù)理邏輯
形式邏輯
《國語辭典》:
量詞(量詞)
拼音:
liàng cí
表示事物或動作的單位詞。表示事物單位的稱為「物量詞」,如個、塊、斤、丈等。表示動作單位的稱為「動量詞」,如次、回、趟、遍等。
分類:
量詞
數(shù)理邏輯
示人
和
粵公網(wǎng)安備44010402003275
粵ICP備17077571號
關(guān)于本站
聯(lián)系我們
客服:+86 136 0901 3320