We let L be the language of equatio

We let L be the language of equational logic with terms over the two-sorted
signature  containing 0, 1, the numerator and denominator num and denom,

ผลลัพธ์ (ไทย) 1:

เราให้ L เป็นภาษาของตรรกะ equational เงื่อนไขมากกว่าสองการเรียงลำดับลายเซ็นที่ประกอบด้วย 0, 1 ตัวเศษ และตัวส่วน num และ denom

ผลลัพธ์ (ไทย) 2:

เราปล่อยให้ L เป็นภาษาของตรรกะ equational
มีเงื่อนไขมากกว่าสองเรียงลายเซ็น? ที่มี 0, 1, เศษและ NUM หารและ denom,