An open sentence F with n free vari

An open sentence F with n free variables x1, x2, ..xn is satisfied by n objects a1, a2, …an if the proposition obtained while assigning the object ai to the variable xi for every i from 1 to n is true in the considered structure. If every n-uplet satisfies the open sentence in a structure , then  is a model for F

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

การเปิดประโยค F มี n ตัวแปรอิสระ x 1, x 2, ... xn คือพอใจตามวัตถุ n a1, a2, ... .an ถ้าข้อเสนอที่ได้รับขณะกำหนดไอวัตถุสิผันแปรสำหรับทุก i ตั้งแต่ 1 ถึง n เป็นจริงในโครงสร้างการพิจารณา ถ้า n-uplet ทุกตรงประโยคเปิดในโครงสร้าง แล้วเป็นแบบจำลองสำหรับ F

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

เอฟประโยคเปิดที่มีตัวแปร n ฟรี x1, x2, ..xn เป็นที่พอใจโดย n วัตถุ a1, a2, ... ถ้าเรื่องที่ได้รับในขณะที่การกำหนดวัตถุที่ออกฤทธิ์กับจินตัวแปรทุกฉันตั้งแต่ 1 ถึง n เป็นจริงใน โครงสร้างการพิจารณา ถ้าทุก n-uplet ตอบสนองประโยคเปิดในโครงสร้างแล้วเป็นรูปแบบสำหรับเอฟ

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

เป็นประโยคเปิด f n ฟรีตัวแปร x1 , x2 , . . . . . . . ซินพอใจโดย n วัตถุ A1 , A2 , . . . . . . . ถ้าโจทย์ได้ในขณะที่กำหนดวัตถุไอตัวแปร Xi ทุกชั้นตั้งแต่ 1 ถึง n เป็นจริง ในการพิจารณาโครงสร้าง ถ้าทุก n-uplet ตรงประโยคเปิดในโครงสร้างแล้วเป็นรูปแบบสำหรับฉ