If K is a signature, then a structu

If K is a signature, then a structure of signature K, say A, consists of the following items:

A set called the domain of A and written dom(A); it is usually assumed to be nonempty;
for each individual constant c in K, an element cA of dom(A);
for each predicate symbol P of arity n, an n-ary relation PA on dom(A);
for each function symbol F of arity n, an n-ary function FA from dom(A) to dom(A).

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

ถ้า K เป็นลายเซ็น แล้วโครงสร้างของลายเซ็น K พูด A ประกอบด้วยรายการต่อไปนี้:A ตั้งเรียกว่าโดเมนของ A และเขียน dom(A) มันจะมักถือ nonemptyสำหรับแต่ละ c คงแต่ละใน K, cA เป็นองค์ประกอบของ dom(A)สำหรับแต่ละเพรดิเคตสัญลักษณ์ P arity n ความสัมพันธ์ n ary เป็นป่าใน dom(A)สำหรับแต่ละฟังก์ชันสัญลักษณ์ F n arity ฟังก์ชันการ n ary FA จาก dom(A) เพื่อ dom(A)

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

ถ้า K เป็นลายเซ็นแล้วโครงสร้างของลายเซ็น K, พูดประกอบด้วยรายการต่อไปนี้: ชุดที่เรียกว่าโดเมนของ A และเขียน Dom (A); มันจะสันนิษฐานมักจะเป็นว่าง; สำหรับแต่ละคของแต่ละบุคคลอย่างต่อเนื่องใน K, องค์ประกอบ cA ของพระ (A) สำหรับแต่ละสัญลักษณ์กริยา P ของ n arity, ความสัมพันธ์ n-Ary PA เมื่อ Dom (A) สำหรับแต่ละสัญลักษณ์ฟังก์ชั่น F ของ n arity, ฟังก์ชั่น n-Ary เอฟเอจากพระ (A) เพื่อ Dom (A)

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

ถ้า k เป็นลายเซ็นแล้วโครงสร้างของลายเซ็น K , พูด , ประกอบด้วยรายการต่อไปนี้ :

ชุดเรียกว่าโดเมนของและเขียนดอม ( ) ; มันมักจะถือว่าเป็นเซต ;
c K คงที่สำหรับแต่ละบุคคลเป็นธาตุ Ca ของดอม ( ) ;
สำหรับแต่ละประโยคสัญลักษณ์ P ของอาริตี้ N , n-ary ความสัมพันธ์ PA ในดอม ( ) ;
) สำหรับแต่ละฟังก์ชันสัญลักษณ์ F เป็นฟังก์ชันของริตี้ , ฟา n-ary จากดอม ดอม ( ) ( )