ประโยคภาษาจีน : 中文句子 |
---|
zài 在 wèi cí 谓词 yǎn suàn 演算 de 的 fǎn bó 反驳 shù 树 zhōng 中 bèi 被 zhèng míng 证明 de 的 hé shì 合式 gōng shì 公式 |
In the refutation tree of predicate calculus, the proved conjunctive formula. |