([2]). Let X be a non-empty set. Fi

([2]). Let X be a non-empty set. Fix some element x0 ∈ X. Then,
for any x, y ∈ X define ∨ and ∧ on X by

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

([2]) . X ให้สามารถไม่ว่างตั้งค่า แก้ไขบางองค์ประกอบ x 0 ∈ X แล้วสำหรับทุก x, y ∈ X กำหนด∨และ∧ X โดย

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

([2]) ให้ X เป็นชุดที่ไม่ว่างเปล่า แก้ไของค์ประกอบบาง x0 ∈เอ็กซ์แล้ว
สำหรับ x ใด ๆ , y ∈ X กำหนด∨และ∧ใน X โดย

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

( [ 2 ] ) ให้ x เป็นไม่ว่างชุด แก้ไของค์ประกอบบางอย่าง x0 ∈ X แล้ว
สำหรับ x , y ∈ X และกำหนด∨∧ใน X โดย