Program Q is deemed to be correct i

Program Q is deemed to be correct if P is true before execution and R is true after program Q
executes to termination.

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

โปรแกรม Q จะถือว่าถูกถ้า P เป็นจริงก่อนการดำเนินการ และ R เป็นจริงหลังจากโปรแกรม Q ดำเนินการจ้าง

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

โปรแกรม Q จะถือว่าถูกต้องถ้า P เป็นความจริงก่อนที่จะดำเนินการและ R เป็นความจริงหลังจากที่โปรแกรม Q
ดำเนินการยกเลิก

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

โปรแกรม คิว ถือว่าถูกต้อง ถ้า P เป็นจริงก่อนประหารและ R เป็นจริงหลังจากโปรแกรม Q
รันจะสิ้นสุด .