Theorem 2.5 Supposing < X; ; 0 > i

Theorem 2.5 Supposing < X; ; 0 > is a limited BCI-algebra,  2 lc 
X, 2 ld  X. Then we have
   ) c  d:
Proof.Because   , 9x1; x2; : : : ; xn 2 X s:t:  x1  x2 


 xn 
. As   x1, 9;  2 L(X) s:t:   = x1; x1   = . Supposing x1 2 le, then
we have the follows
c   = (0  (0  ))  (0  (0  )) = 0  (0  (  )) = 0  (0  x1) = e
e   = (0  (0  x1))  (0  (0  )) = 0  (0  (x1  )) = 0  (0  ) = c
which means c  e. Similarly, this theorem could be proved.
In these two theorems, replacing  with , they will be also right.They
are the more particular forms.
More results will be given in the next section.

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

ทฤษฎีบท 2.5 ถ้า < X ; 0 > เป็นการจำกัด BCI พีชคณิต 2 lcX, 2 ld X แล้ว เรามี  ) c  d:Proof.Because, 9 x 1 x 2 : : : ; s:t X xn 2: x 1 x 2 xn . X 1, 9 2 L(X) s:t: = x 1 x1   = . ถ้า x 1 2 เลอ แล้วเรามีการดังนี้c   = (0  (0  ))  (0  (0  )) = 0  (0  (  )) = 0  (0  x1) = ee   = (0  (0  x1))  (0  (0  )) = 0  (0  (x1  )) = 0  (0  ) = cซึ่งหมายความว่า c e ในทำนองเดียวกัน ทฤษฎีบทนี้สามารถจะพิสูจน์ในทฤษฎีเหล่านี้สอง แทน พวกเขาจะยังขวา พวกเขามีรูปแบบที่เฉพาะเจาะจงมากกว่าจะได้รับผลลัพธ์เพิ่มเติมในส่วนถัดไป

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

ทฤษฎีบท 2.5 เผื่อว่า <x; ; 0> เป็น จำกัด BCI พีชคณิต? 2 LC?
X 2 LD?
 เอ็กซ์แล้วเรามี? ? ) ค? d:
Proof.Because? ? , 9x1; x2; :::; xn 2 X s: เสื้อ :? ? x1? x2? ? ? ? ?
xn? เช่น ? ? x1, 9 ?; ? 2 ลิตร (X) s: เสื้อ :? ? ? = x1; x1? ? =? เผื่อว่า x1 2 le แล้วเรามีดังต่อไปนี้ค? ? = (0? (0?)) (0? (0?)) = 0? (0? (?)) = 0? (0? x1) = อีอี? ? = (0? (0? x1)) (0? (0?)) = 0? (0 (x1?)) = 0? (0?) = คซึ่งหมายถึงค? อิเล็กทรอนิกส์ ในทำนองเดียวกันทฤษฎีบทนี้อาจจะได้รับการพิสูจน์. ในทั้งสองทฤษฎีแทน? ด้วย? พวกเขาจะยัง right.They เป็นรูปแบบมากขึ้นโดยเฉพาะอย่างยิ่ง. ผลการค้นหาเพิ่มเติมจะได้รับในส่วนถัดไป

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

ทฤษฎีบท 2.5 ถ้า < x ;  ; 0 > เป็นพีชคณิต BCI จำกัด  2 LC 
x  2 LD  X แล้วเรา
   ) C  D :
proof.because    9x1 , ; x2 ; : : : ; คริสเตียน 2 x : T :    X1 X2 


 คริสเตียน 
 . เป็น   x1 , 9  ;  2 L ( x ) S : T :    = x1 ; X1   =  . สมมติว่า X1 2 เลอแล้ว

C มีดังนี้   = ( 0  ( 0   )  ( 0  ( 0   ) = 0  ( 0  (    ) = 0  ( 0  x1 ) = e
E   = ( 0  ( 0  X1 ) )  ( 0  ( 0   ) = 0  ( 0  ( x1   ) = 0  ( 0   ) = c
ซึ่งหมายถึง C  เช่นเดียวกัน ทฤษฎีนี้สามารถพิสูจน์ .
ในทั้งสองทฤษฎีบทแทน  กับ  พวกเขาจะยัง ใช่ พวกเขาเป็นรูปแบบเฉพาะมากขึ้น
.
ผลลัพธ์เพิ่มเติมจะได้รับในส่วนถัดไป