of an CS-algebra X is said to be le

of an CS-algebra X is said to be left
(resp. right) deductive system if it satisfies the following axioms:

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

ของ CS-X
พีชคณิตบอกว่าจะถูกทิ้งระบบนิรนัยถ้ามันสอดคล้องกับหลักการดังต่อไปนี้(รับผิดชอบด้านขวา.)

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

ของ CS พีชคณิต x กล่าวจะทิ้ง
( resp . ขวา ) แบบระบบถ้ามันเข้าตาสัจพจน์ดังนี้