In PRISM we verify if the model M s

In PRISM we verify if the model M satisfy the property defined by pi (i.e. whether for each M ‘ pi property pi ), and with PRISM we compute the probability:

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

ในปริซึมที่เราตรวจสอบถ้า รุ่น M ตามคุณสมบัติที่กำหนด โดยปี่ (เช่นว่าในแต่ละ M ' ปี่ปี่คุณสมบัติ), และกับปริซึม เราคำนวณความน่าเป็น:

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

ใน PRISM เราตรวจสอบว่ารุ่น M ตอบสนองของสถ​​านที่ที่กำหนดโดยปี่ (เช่นไม่ว่าจะเป็นสำหรับแต่ละ M 'Pi คุณสมบัติปี่) และมี PRISM เราคำนวณความน่าจะเป็น:

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

ในปริซึมเราตรวจสอบ ถ้ารุ่น M ตามคุณสมบัติที่กำหนด โดย พี ( เช่นว่าสำหรับแต่ละ m ' Pi Pi คุณสมบัติ ) และปริซึมเราคำนวณความน่าจะเป็น :