Theorem 3.13. A BCH-algebra X satis

Theorem 3.13. A BCH-algebra X satisfying (x∗(x∗y))∗(0∗(x∗y))=y ∗(y ∗x)
is a BCI-algebra.
Proof. It is sufficient to show that (1) holds. We consider

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

ทฤษฎีบท 3.13 BCH พีชคณิต X ภิรมย์ (x∗(x∗y))∗(0∗(x∗y)) =∗ y (y ∗x)BCI-พีชคณิตได้หลักฐานการ เพียงพอที่จะแสดงว่า (1) เก็บได้ เราพิจารณา

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

ทฤษฎีบท 3.13 BCH พีชคณิต X ความพึงพอใจ (x * (x * y)) * (0 * (x * y)) = * Y (y * x)
เป็น BCI พีชคณิต.
หลักฐาน มันจะเพียงพอที่จะแสดงให้เห็นว่า (1) ถือหุ้น เรามองว่า