量化邏輯 [--逻辑]

Jyutping loeng6 faa3 lo4 cap1
Pinyin liàng huà luó ji

Definitions (CC-CEDICT)
  1. quantified logic