量化逻辑 — Semantide dictionary

Entry

量liàng化huà逻luó辑ji

quantificational logic (i.e. first-order logic)
trad. 量化邏輯

Also written 量化邏輯【liàng huà luó ji】

Characters in this word

4

量

Strokes: KanjiVG, CC BY-SA 3.0

to measure

Pinyin: liáng

Strokes: 12
Frequency: 5799 of 2500

Words starting with 量 Words ending in 量 Anywhere in a word

化

Strokes: KanjiVG, CC BY-SA 3.0

variant of 花[hua1]

Pinyin: huā

Strokes: 4
Frequency: 7240 of 2500

Words starting with 化 Words ending in 化 Anywhere in a word

逻

Strokes: KanjiVG, CC BY-SA 3.0

patrol

Pinyin: luó
Traditional: 邏

Strokes: 11

Words starting with 逻 Words ending in 逻 Anywhere in a word

辑

Strokes: KanjiVG, CC BY-SA 3.0

to gather up, to collect, to edit, to compile

Pinyin: jí
Traditional: 輯

Strokes: 13

Words starting with 辑 Words ending in 辑 Anywhere in a word