PanLinx
Hànyǔ
cmn-003
ming4 ti2 luo2 ji5
普通话
cmn-000
命题逻辑
國語
cmn-001
命題邏輯
Deutsch
deu-000
Aussagenlogik
PanLex