. Any implication algebra is a BE-a

. Any implication algebra is a BE-algebra.

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

. จะพีชคณิตพีชคณิตปริยายใด ๆ ได้

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

. พีชคณิตความหมายใด ๆ ที่เป็น พ.ศ. พีชคณิต

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

. ความหมายใด ๆเป็นเป็นพีชคณิตพีชคณิต