prove the following facts, for init

prove the following facts, for initialized systems:

if P is (P-)complete, then P also is

if L is time-invariant, then L also is

give counterexamples to the converse implications

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

พิสูจน์ข้อเท็จจริงต่อไปนี้สำหรับระบบที่เริ่ม: ถ้าเป็น P (P-) เสร็จสมบูรณ์แล้ว P ยังเป็นถ้าL มีเวลาคงที่แล้วยังเป็น L ให้ counterexamples ผลกระทบสนทนา

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

พิสูจน์ข้อเท็จจริงต่อไปนี้เพื่อเริ่มต้นระบบ :

ถ้า p ( P - ) เสร็จสมบูรณ์แล้ว p ก็

ถ้าผมมีเวลา ไม่เปลี่ยนแปลง ฉันยังเป็น

ให้ counterexamples เพื่อผลสนทนา