In a GADL L with 0, we know that a

In a GADL L with 0, we know that a left identity element is always a dense
element (Theorem 4.2). Now we prove the converse in disjunctive GADL.

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

ใน L GADL กับ 0 เรารู้ว่า เป็นเอกลักษณ์ซ้ายเสมอ ความหนาแน่นองค์ประกอบ (ทฤษฎีบท 4.2) ตอนนี้ เราสามารถพิสูจน์ตรงกันข้ามใน disjunctive GADL

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

ใน L GADL 0 เรารู้ว่าตัวตนขององค์ประกอบซ้ายเสมอหนาแน่น
องค์ประกอบ (ทฤษฎีบท 4.2) ตอนนี้เราพิสูจน์ได้ว่าการสนทนาในลักษณะที่แยก GADL

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

ใน gadl l 0 , เรารู้ว่าตัวตนออกจากองค์ประกอบเสมอองค์ประกอบหนาแน่น
( ทฤษฎีบท 4.2 ) ตอนนี้เราพิสูจน์กันใน gadl ดิซจัง .