带同异性的谓词演算

ماتېماتىكا dài tong yì xìng de wèi cí yǎn suàn ئوخشاشلىق خاراكتېرىغا ئىگە خەۋەرلىك ھېسابلاش