命題邏輯 [－题逻辑]

Jyutping ming6 tai4 lo4 cap1
Pinyin mìng tí luó ji