The New Dictionary.
Search dictionary
Chinese/Dictionary entry

量化逻辑

liàng huà luó jidictionary entry
DEFINITION CC-CEDICT
quantificational logic (i.e. first-order logic)
Sources & editorial notes

Reference definitions: CC-CEDICT contributors and MDBG, CC BY-SA 4.0. Source release 2026-10-27T01:55:52Z. Imported 2026-10-27. Definition wording and meaning order are retained. Recognized pronunciation references are displayed with tone marks; the original source record is available below.

Source record: cd-0286b1780c1e1ba6. Source SHA-256: bbc4b27f26bee1a262f4d7939667a040c7857c7fc0200a2fa7a86d3352a09eae.

Original source entry:

量化邏輯 量化逻辑 [liang4 hua4 luo2 ji5] /quantificational logic (i.e. first-order logic)/

Reference definitions and teaching material have separate provenance.

Reference information

The definitions above are from CC-CEDICT. Examples and usage notes are available on selected entries.

Character information

View the individual characters. Their meanings do not necessarily explain the meaning of the whole word.

Other forms in these source records: 量化邏輯

  • 量
    liáng

    to measure

    liàng

    capacity / quantity / amount / to estimate / abbr. for 量詞|量词[liàng cí], classifier (in Chinese grammar) / measure word

  • 化
    huā

    See the full entry for source details.

    huà

    to make into / to change into / -ization / to ... -ize / to transform / abbr. for 化學|化学[huà xué]

  • 逻
    luó

    patrol

  • 辑
    jí

    to gather up / to collect / to edit / to compile

Reference definitions from CC-CEDICT.