Lughet
谓词演算合格公式 — Chinese to Uyghur Translation | Lughet