T Any BCK/BCL-Algebra X satisfies t

T
Any BCK/BCL-Algebra X satisfies the following axioms

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

T X BCK/BCL-พีชคณิตใด ๆ เป็นไปตามหลักการต่อไปนี้

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

T
BCK ใด ๆ / BCL พีชคณิต X ตอบสนองหลักการดังต่อไปนี้