PanLinx
普通话
cmn-000
命题演算
Hànyǔ
cmn-003
mìng tí yǎn suàn
English
eng-000
calculus of proposition
English
eng-000
propositional calculus
English
eng-000
sentential calculus
ئۇيغۇرچە
uig-000
ھۆكۈملۈك ھېسابلاش
Uyghurche
uig-001
hökümlük hésablash
PanLex