Lemma 2.4. ([8], Theorem 2.5) Let (

Lemma 2.4. ([8], Theorem 2.5) Let (X; ∗, 1) be a dual BCK-algebra and x, y, z ∈ X. Then:
(a) x ∗ (y ∗ z) = y ∗ (x ∗ z),
(b) 1 ∗ x = x

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

หน่วยการ 2.4 ([8], ทฤษฎีบท 2.5) ให้ (X ∗ 1) ได้คู่ BCK-พีชคณิต และ x, y, z ∈ X จากนั้น:(ก) x ∗ (∗ y z) = y ∗ (x ∗ z),(ข) 1 ∗ x = x

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

แทรก 2.4 ([8] ทฤษฎีบท 2.5) ให้ (X; * 1) เป็นแบบ dual-BCK พีชคณิตและ X, Y, Z ∈เอ็กซ์จากนั้น:
(ก) X * (y * z) = Y * (x * Z )
(ข) * 1 x = x

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

แทรก 2.4 . ( [ 8 ] , ทฤษฎีบท 2.5 ) ให้ ( X ; ∗ , 1 ) เป็นพีชคณิต bck คู่และ x , y , z ∈แล้ว : X( A ) x ∗ ( Y ∗ Z ) Y ( X = ∗∗ Z )( ข ) 1 ∗ x = x