Theorem 2.4. (cf. [10]) Every Q-alg

Theorem 2.4. (cf. [10]) Every Q-algebra satisfying the conditions (iv) and (vii) (x * y) * (x * z) = z * y
for any x; y; z 2 X, is a BCI-algebra.

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

ทฤษฎีบทที่ 2.4 (มัทธิว [10]) ทุก Q-พีชคณิตตรงกับเงื่อนไข (iv) และ (vii) (x * y) * (x * z) = z * yสำหรับ x ใด ๆ y z 2 X, BCI-พีชคณิตได้

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

ทฤษฎีบท 2.4 (cf [10]) ทุก Q-พีชคณิตพอใจเงื่อนไข (iv) และ (vii) (x * y) * (x * ซี) = ซี * y
ที่สำหรับx ใด ๆ Y; ซี 2 X เป็น BCI พีชคณิต