If a → b holds and y is attribute s

If a → b holds and y is attribute set, then ay → by also holds.

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

ถ้ามี→ b และ y คือ ชุดแอตทริบิวต์ แล้ว→สาโดยมี

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

ถ้า→ B ถือและ Y คือชุดแอตทริบิวต์แล้ว Ay →โดยยังถือ

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

ถ้า→ keyboard - key - name B ถือและ Y เป็นคุณลักษณะชุด แล้วเอ→ keyboard - key - name โดยยังถือ