带同异性的谓词逻辑
_
predicate logic with equality
пословный:
带同 | 同异 | 异性 | 性的 |
1) сходство (тождество) и различие; одинаковый и разный
2) поддерживать единомышленников и встречать в штыки инакомыслящих
|
1) разный (противоположный) пол (род): [представитель] разного (противоположного) пола; разнополый
2) различный (разный, иной, другой, неодинаковый) по характеру (роду, сущности); разной природы (сущности); различного характера; отличный, различный, разнопородный, разноимённый, инородный
|
谓词逻辑 | |||