Also, since the condition in propos

Also, since the condition in proposition 3.3 is true for all x, y, we can switch x and y and obtain ((y∗x)∗x)∗((x∗y)∗y) = 0. Therefore, from axiom (KK-3),

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

ยัง เนื่องจากเงื่อนไขในข้อเสนอ 3.3 เป็นจริงสำหรับทุก x, y เราสามารถสลับ x และ y และรับ ((y∗x)∗x)∗((x∗y)∗y) = 0 ดังนั้น จากสัจพจน์ (KK-3),

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

นอกจากนี้เนื่องจากสภาพในเรื่อง 3.3 เป็นจริงสำหรับทุก x, y, เราสามารถสลับ x และ y และได้รับ ((y * x) * x) * ((x * y) * y) = 0 ดังนั้นจากความจริง (KK-3)

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

นอกจากนี้ เนื่องจากเงื่อนไขในข้อเสนอ 3.3 เป็นจริงสำหรับ x , y , เราสามารถเปลี่ยน X และ Y ให้ได้ ( ( Y ∗ X ) ∗ X ) ∗ ( ( X ∗∗ Y ) Y ) = 0 ดังนั้น จากสัจพจน์ ( kk-3 )