Definition 3.2 A fact is a statemen

Definition 3.2 A fact is a statement having one of the following forms:
• xs = c, where c ∈ τ if xs is a single-valued variable declared as xs : τ ;
• xm = C, where C ⊆ τ if xm is a multi-valued variable declared as xm : 2 .
A fact set has the following form:
{xs
1 = c1, . . . , xs
p = cp, xm1
= C1, . . . , xmq= Cq}
where ci are constants and Cj are sets of constants. A variable may only occur once in a fact
set.

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

นิยาม 3.2 A จริงเป็นคำที่มีรูปแบบต่อไปนี้อย่างใดอย่างหนึ่ง:
• xs = c ประกาศที่τ c ∈ถ้า xs ตัวแปรค่าเดี่ยวเป็น xs: τ;
• xm = C ประกาศที่ C ⊆τถ้า xm ตัวแปรหลายค่าเป็น xm: 2
จริง A ชุดมีรูปแบบต่อไปนี้:
{ xs
1 = c1,..., xs
p = cp, xm1
= C1,..., xmq =ซี}
ci ซึ่งเป็นค่าคงที่และ Cj เป็นชุดของค่าคงที่ ตัวแปรอาจเท่านั้นเกิดขึ้นครั้งเดียวในความจริง
ตั้งได้

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

3.2 คำนิยามความเป็นจริงเป็นคำสั่งที่มีหนึ่งในรูปแบบดังต่อไปนี้
XS • c =, ที่ c ∈τถ้า XS เป็นตัวแปรเดียวที่มีมูลค่าการประกาศให้เป็น XS: τ;
• XM = C, C ที่⊆τถ้า XM เป็น มูลค่าหลายตัวแปรที่ประกาศเป็น XM: 2? .
ชุดความจริงที่มีรูปแบบต่อไปนี้:
{XS
1 = c1, . . , XS
p = ซีพี, XM1
= C1, . . , XMQ = Cq}
CI ที่มีความมั่นคงและ Cj เป็นชุดของค่าคงที่ ตัวแปรที่อาจจะเกิดขึ้นเพียงครั้งเดียวในความเป็นจริง
การตั้งค่า

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

ความละเอียด 3.2 ความจริงคือ งบมีหนึ่งในรูปแบบต่อไปนี้ :
- x = c , C ∈τถ้า xs เป็นเดียวมูลค่าตัวแปรประกาศเป็น XS : τ ;
- XM = C เมื่อ C ⊆τถ้า XM เป็นมูลค่าหลายตัวแปรประกาศเป็น XM : 2  .
ความจริง ชุดรูปแบบต่อไปนี้ :
{ x
2 = C1 , . . . . . . . . XS
, P = CP , xm1 C1
= , . . . . . . . . xmq = CQ } ,
ที่ไหนมีค่าคงที่และ CJ เป็นชุดของค่าคงที่ตัวแปรที่อาจจะเกิดขึ้นเมื่อในความเป็นจริง
ชุด