if L are any three elements of K so

if L are any three elements of K so that J, if H and G, and if F is a state so that D, then S is also admissible for Z and X;

for each M and each N, the empty sequence B is admissible for V and C.

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

ถ้า L เป็นองค์ประกอบทั้งสามของ K ดังนั้นที่ J ถ้า H และ G และ ถ้า F เป็นสิ่งที่ดี แล้ว S ก็ admissible Z และ Xแต่ละ M และ N แต่ละ ลำดับว่าง B จะ admissible สำหรับ V และ c

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

ถ้า L ใด ๆ สามองค์ประกอบของ K เพื่อให้เจถ้า H และ G และถ้า F เป็นรัฐเพื่อให้ D แล้ว S นอกจากนี้ยังเป็นที่ยอมรับสำหรับ Z และ X; สำหรับแต่ละ M และแต่ละ N, ขลำดับที่ว่างเปล่าเป็นที่ยอมรับ สำหรับวีซี

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

ถ้าผมมี 3 องค์ประกอบของ K ที่ J ถ้า h และ g และถ้า f เป็นรัฐดังนั้น D , S แล้วยังเป็นที่ยอมรับสำหรับ Z และ X ;

สำหรับแต่ละ m และแต่ละ N ว่างเปล่าลำดับ B เป็นที่ยอมรับสำหรับ V .