holds in a weakly implicative BCH-a

holds in a weakly implicative BCH-algebra. Putting (3.9) in (3.7) we get z ∗ x =
((z ∗ x) ∗ x) ∗ (0 ∗ x). Hence, X is weakly positive implicative. This completes the
proof

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

เก็บในสูญ implicative BCH พีชคณิต วาง (3.9) ใน (3.7) เราได้ z ∗ x =((z ∗ x) ∗ x) ∗ (0 ∗ x) ดังนั้น X เป็นค่าบวกสูญ implicative เสร็จสิ้นการหลักฐาน

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

ถือใน implicative อ่อน BCH พีชคณิต วาง (3.9) ใน (3.7) เราได้รับซี * x =
((Z * x) * x) * (0 * x) ดังนั้น X คือ implicative บวกอย่างอ่อน
นี้เสร็จสมบูรณ์หลักฐาน